github: Mark the build as failed if 'do not merge' label is set

This prevents us from merging PRs marked as 'do not merge'.

Signed-off-by: Donatas Abraitis <donatas@opensourcerouting.org>

diff --git a/.github/workflows/freeze.yml b/.github/workflows/freeze.yml
index f3506d0061fb9194e3abb302c74d0a956775ca9f..a780298a425d36c3f2f861576e490dca5e24eae0 100644 (file)
--- a/.github/workflows/freeze.yml
+++ b/.github/workflows/freeze.yml
@@ -1,4 +1,4 @@
-name: Warn before merging if a "freeze" label exists
+name: Warn before merging if a "freeze" or "do not merge" label exists
 
 on:
   pull_request_target:
@@ -6,12 +6,12 @@ on:
 
 jobs:
   freeze_warning:
-    if: ${{ contains(github.event.*.labels.*.name, 'freeze') }}
-    name: Warn before merging if a "freeze" label exists
+    if: ${{ contains(github.event.*.labels.*.name, 'freeze') || contains(github.event.*.labels.*.name, 'do not merge') }}
+    name: Warn before merging if a "freeze" or "do not merge" label exists
     runs-on: ubuntu-latest
     steps:
       - name: Check for "freeze" label
         run: |
-          echo "Pull request is labeled as 'freeze'"
+          echo "Pull request is labeled as 'freeze' or 'do not merge'"
           echo "This workflow fails so that the pull request cannot be merged."
           exit 1