File tree Expand file tree Collapse file tree 1 file changed +3
-1
lines changed
Expand file tree Collapse file tree 1 file changed +3
-1
lines changed Original file line number Diff line number Diff line change @@ -15,14 +15,16 @@ jobs:
1515 env :
1616 has_tag : >-
1717 ${{contains(github.event.pull_request.labels.*.name, 'status: needs comment/discussion') ||
18- contains(github.event.pull_request.labels.*.name, 'status: waiting for other PR')}}
18+ contains(github.event.pull_request.labels.*.name, 'status: waiting for other PR') ||
19+ contains(github.event.pull_request.labels.*.name, 'DO NOT MERGE') }}
1920 steps :
2021 - name : Check for label
2122 if : ${{'true' == env.has_tag}}
2223 run : |
2324 echo "This PR cannot be merged because it has one of the following labels: "
2425 echo "* status: needs comment/discussion"
2526 echo "* status: waiting for other PR"
27+ echo "* DO NOT MERGE"
2628 exit 1
2729 - name : Allow merging
2830 if : ${{'false' == env.has_tag}}
You can’t perform that action at this time.
0 commit comments