Thanks to visit codestin.com Credit goes to github.com
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 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