michaelh/zephyr
1
0
Fork 0
Code Releases Activity

ci: do_not_merge: check for TSC tag as well

Browse source 
Check for TSC tag in addition to the DNM one, so that PR scheduled for
TSC discussion can't be merged by mistake.

Signed-off-by: Fabio Baltieri <fabiobaltieri@google.com>
This commit is contained in:
Fabio Baltieri 2023-05-16 18:20:15 +00:00 • committed by Anas Nashif
commit 7039f8ce9c
1 changed files with 3 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

5
.github/workflows/do_not_merge.yml vendored
View file

@ -6,12 +6,13 @@ on:
jobs: jobs:
do-not-merge: do-not-merge:
if: ${{ contains(github.event.*.labels.*.name, 'DNM') }} if: ${{ contains(github.event.*.labels.*.name, 'DNM') ||
contains(github.event.*.labels.*.name, 'TSC') }}
name: Prevent Merging name: Prevent Merging
runs-on: ubuntu-22.04 runs-on: ubuntu-22.04
steps: steps:
- name: Check for label - name: Check for label
run: | run: |
echo "Pull request is labeled as 'DNM'" echo "Pull request is labeled as 'DNM' or 'TSC'"
echo "This workflow fails so that the pull request cannot be merged" echo "This workflow fails so that the pull request cannot be merged"
exit 1 exit 1