Skip to content

Commit

Permalink
CI: Do not allow merge if labelled DO-NOT-MERGE (pythonGH-103337)
Browse files Browse the repository at this point in the history
(cherry picked from commit 090e26e)

Co-authored-by: Hugo van Kemenade <hugovk@users.noreply.github.com>
Co-authored-by: C.A.M. Gerlach <CAM.Gerlach@Gerlach.CAM>
  • Loading branch information
2 people authored and miss-islington committed Apr 9, 2023
1 parent 4fa5fda commit 0571c01
Showing 1 changed file with 17 additions and 0 deletions.
17 changes: 17 additions & 0 deletions .github/workflows/require-pr-label.yml
Original file line number Diff line number Diff line change
@@ -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"

0 comments on commit 0571c01

Please sign in to comment.