Merge pull request #1777 from rpsene/main

Check Mergeable by Label
riscv · Dec 16, 2024 · a8395e7 · a8395e7
2 parents 067b86b + 536d53d
commit a8395e7
Showing 1 changed file with 21 additions and 0 deletions.
diff --git a/.github/workflows/check-ready-to-merge.yml b/.github/workflows/check-ready-to-merge.yml
@@ -0,0 +1,21 @@
+name: 'Check Mergeable by Label'
+
+on:
+  pull_request:
+    types:
+      - opened
+      - reopened
+      - synchronize
+      - edited
+      - labeled
+      - unlabeled
+
+jobs:
+  fail-by-label:
+    if: contains(github.event.pull_request.labels.*.name, 'Pending Ratification')
+    runs-on: ubuntu-latest
+    steps:
+      - name: Fail if PR is labeled "Pending Ratification"
+        run: |
+          echo "Error: This PR is labeled as 'Pending Ratification' and cannot be merged."
+          exit 1