Add PR check for do-not-merge

radius-project · Jul 5, 2023 · d95c204 · d95c204
1 parent 96c7984
commit d95c204
Showing 1 changed file with 17 additions and 0 deletions.
diff --git a/.github/workflows/pr-checks.yaml b/.github/workflows/pr-checks.yaml
@@ -0,0 +1,17 @@
+name: PR Checks
+
+on:
+  pull_request:
+    types: [opened, edited, reopened, synchronize]
+
+jobs:
+  check-do-not-merge-tag:
+    name: Check for do-not-merge tag
+    runs-on: ubuntu-latest
+    steps:
+      - name: Check for do-not-merge label
+        run: |
+          if grep -q "do-not-merge" ${{ github.event.pull_request.labels }}; then
+            echo "Error: PR contains do-not-merge label"
+            exit 1
+          fi