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

mergify: fix issue with labels when PR is closed 

See https://github.com/Mergifyio/mergify-engine/issues/3307 for details
pull/15127/head
Martin Kojtal 2021-10-04 14:13:57 +01:00
parent 6a9ccb3aa3
commit e9a763f8f6
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.mergify.yml
View File

@ -58,6 +58,7 @@ pull_request_rules:
# Jenkins CI failing
- check-failure~=continuous-integration/jenkins/pr-head
- "label!=mergify skip"
- -closed
actions:
label:
add: ['needs: work']