[Python-checkins] CI: Do not allow merge if labelled DO-NOT-MERGE (#103337)
hugovk
webhook-mailer at python.org
Sun Apr 9 02:39:10 EDT 2023
https://github.com/python/cpython/commit/090e26ea807aa414d6a6a01d9365b0288c10a5db
commit: 090e26ea807aa414d6a6a01d9365b0288c10a5db
branch: main
author: Hugo van Kemenade <hugovk at users.noreply.github.com>
committer: hugovk <hugovk at users.noreply.github.com>
date: 2023-04-09T09:39:03+03:00
summary:
CI: Do not allow merge if labelled DO-NOT-MERGE (#103337)
Co-authored-by: C.A.M. Gerlach <CAM.Gerlach at Gerlach.CAM>
files:
A .github/workflows/require-pr-label.yml
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 at v4
+ with:
+ mode: exactly
+ count: 0
+ labels: "DO-NOT-MERGE"
More information about the Python-checkins
mailing list