Skip notify-downstream if PR has appropriate label (#5115)

brimdata · Apr 23, 2024 · ec3f004 · ec3f004
1 parent 6fcbee6
commit ec3f004
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/notify-downstream-merge.yml b/.github/workflows/notify-downstream-merge.yml
@@ -30,7 +30,7 @@ jobs:
         echo "merged=$merged" >> $GITHUB_OUTPUT
       id: vars
     - name: Post PR closed event, if the close was a merge
-      if: steps.vars.outputs.merged == 'true'
+      if: steps.vars.outputs.merged == 'true' && ! contains(github.event.pull_request.labels.*.name, 'skip-notify-downstream')
       run: |
         jq '.' "${GITHUB_EVENT_PATH}"
         # Get what we want from the pull request event, craft a