We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent fd2c897 commit 76327b5Copy full SHA for 76327b5
1 file changed
.github/workflows/do_not_merge.yml
@@ -15,14 +15,16 @@ jobs:
15
env:
16
has_tag: >-
17
${{contains(github.event.pull_request.labels.*.name, 'status: needs comment/discussion') ||
18
- contains(github.event.pull_request.labels.*.name, 'status: waiting for other PR')}}
+ contains(github.event.pull_request.labels.*.name, 'status: waiting for other PR') ||
19
+ contains(github.event.pull_request.labels.*.name, 'DO NOT MERGE') }}
20
steps:
21
- name: Check for label
22
if: ${{'true' == env.has_tag}}
23
run: |
24
echo "This PR cannot be merged because it has one of the following labels: "
25
echo "* status: needs comment/discussion"
26
echo "* status: waiting for other PR"
27
+ echo "* DO NOT MERGE"
28
exit 1
29
- name: Allow merging
30
if: ${{'false' == env.has_tag}}
0 commit comments