ci: prevent merge of PRs with do-not-merge label

Co-authored-by: Paul Meyer <[email protected]>
edgelesssys · Nov 18, 2024 · 207fbc8 · 207fbc8
1 parent 3a82af8
commit 207fbc8
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/.github/workflows/require_label.yml b/.github/workflows/require_label.yml
@@ -22,3 +22,11 @@ jobs:
             feature
             documentation
             no changelog
+  do-not-merge:
+    if: ${{ contains(github.event.pull_request.labels.*.name, 'do not merge') }}
+    runs-on: ubuntu-22.04
+    steps:
+      - name: prevent merge
+        run: |
+          echo '::error::This PR is labeled as "do not merge", remove the label to make this check pass.'
+          exit 1