summaryrefslogtreecommitdiffstats
path: root/.github
diff options
context:
space:
mode:
authorMiss Islington (bot) <31488909+miss-islington@users.noreply.github.com>2023-04-09 07:01:49 (GMT)
committerGitHub <noreply@github.com>2023-04-09 07:01:49 (GMT)
commitda3b77b828f4218b3c67185c80413742fb4d2a06 (patch)
treebc5a29b0877dfe610190fc7ff1fc59c1b12db715 /.github
parent4fa5fda14b11457dda7ef389e5486bfe3ea7b8f5 (diff)
downloadcpython-da3b77b828f4218b3c67185c80413742fb4d2a06.zip
cpython-da3b77b828f4218b3c67185c80413742fb4d2a06.tar.gz
cpython-da3b77b828f4218b3c67185c80413742fb4d2a06.tar.bz2
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>
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/require-pr-label.yml17
1 files changed, 17 insertions, 0 deletions
diff --git a/.github/workflows/require-pr-label.yml b/.github/workflows/require-pr-label.yml
new file mode 100644
index 0000000..e847bae
--- /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"