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

Co-authored-by: C.A.M. Gerlach <CAM.Gerlach@Gerlach.CAM>
This commit is contained in:
Hugo van Kemenade 2023-04-09 09:39:03 +03:00 committed by GitHub
parent 264b87f7fd
commit 090e26ea80
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

17
.github/workflows/require-pr-label.yml vendored Normal file
View file

@ -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"