We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 2ed714f commit 365f30fCopy full SHA for 365f30f
1 file changed
.github/workflows/check_do_not_merge_label.yml
@@ -0,0 +1,20 @@
1
+name: "Check 'do not merge' label"
2
+
3
+on:
4
+ pull_request_target:
5
+ types:
6
+ - opened
7
+ - synchronize
8
+ - reopened
9
+ - labeled
10
+ - unlabeled
11
12
+jobs:
13
+ block-do-not-merge:
14
+ runs-on: ubuntu-latest
15
+ steps:
16
+ - name: Check for "do not merge" label
17
+ if: "contains(github.event.pull_request.labels.*.name, 'do not merge')"
18
+ run: |
19
+ echo "This PR has the 'do not merge' label and cannot be merged."
20
+ exit 1
0 commit comments