From: Miss Islington (bot) <31488909+miss-islington@users.noreply.github.com>
Date: Sun, 9 Apr 2023 07:01:49 +0000 (-0700)
Subject: CI: Do not allow merge if labelled DO-NOT-MERGE (GH-103337)
X-Git-Tag: v3.11.4~210
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=da3b77b828f4218b3c67185c80413742fb4d2a06;p=thirdparty%2FPython%2Fcpython.git

CI: Do not allow merge if labelled DO-NOT-MERGE (GH-103337)

(cherry picked from commit 090e26ea807aa414d6a6a01d9365b0288c10a5db)

Co-authored-by: Hugo van Kemenade <hugovk@users.noreply.github.com>
Co-authored-by: C.A.M. Gerlach <CAM.Gerlach@Gerlach.CAM>
---

diff --git a/.github/workflows/require-pr-label.yml b/.github/workflows/require-pr-label.yml
new file mode 100644
index 000000000000..e847bae155e2
--- /dev/null
+++ b/.github/workflows/require-pr-label.yml
@@ -0,0 +1,17 @@
+name: Check labels
+
+on:
+  pull_request:
+    types: [opened, reopened, labeled, unlabeled, synchronize]
+
+jobs:
+  label:
+    name: DO-NOT-MERGE
+    runs-on: ubuntu-latest
+
+    steps:
+      - uses: mheap/github-action-required-labels@v4
+        with:
+          mode: exactly
+          count: 0
+          labels: "DO-NOT-MERGE"