Skip to content

Skip notify-downstream if PR has appropriate label#5115

Merged
philrz merged 1 commit intomainfrom skip-downstream-notifyApr 23, 2024

Commits

Commits on Apr 23, 2024