ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

mergify: fix label do not merge, fixes failure with action

pull/12269/head
Martin Kojtal 2020-01-16 11:12:07 +00:00
parent 4cdd8032b5
commit 144cb4a05f
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.mergify.yml
View File

@ -164,7 +164,7 @@ pull_request_rules:
actions:
label:
add:
- do not merge
- "do not merge"
# Check if version label is applied
- name: release version is a must for merged PRs