From d68f02c6db8d6eed4be4330dacf246a3856bb209 Mon Sep 17 00:00:00 2001
From: Dhaya <154633+dhayab@users.noreply.github.com>
Date: Wed, 20 Nov 2024 14:48:28 +0100
Subject: [PATCH] ci: prevent PR with "do not merge" label from being merged
 (#6444)

---
 .../workflows/enforce-do-not-merge-label.yml   | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 .github/workflows/enforce-do-not-merge-label.yml

diff --git a/.github/workflows/enforce-do-not-merge-label.yml b/.github/workflows/enforce-do-not-merge-label.yml
new file mode 100644
index 0000000000..f0c5e1ecfb
--- /dev/null
+++ b/.github/workflows/enforce-do-not-merge-label.yml
@@ -0,0 +1,18 @@
+name: Check Do Not Merge Label
+
+on:
+  pull_request:
+    types:
+      - opened
+      - labeled
+      - unlabeled
+
+jobs:
+  fail-for-do-not-merge:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Fail if PR is labelled with "do not merge"
+        if: contains(github.event.pull_request.labels.*.name, '🚨　DO NOT MERGE')
+        run: |
+          echo "This PR is labelled with "do not merge"."
+          exit 1