Skip to content

Skip notify-downstream if PR has appropriate label#5115

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

Skip notify-downstream if PR has appropriate label#5115
philrz merged 1 commit intomainfrom
skip-downstream-notify

Commits

Commits on Apr 23, 2024