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

Mergify: remove stale label when PR is merged

pull/14321/head
Martin Kojtal 2021-02-22 15:54:02 +00:00 committed by GitHub
parent 3bb8de6ea3
commit 1c429acb4e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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

@ -149,7 +149,7 @@ pull_request_rules:
- "label=ready for merge"
actions:
label:
remove: ['ready for merge']
remove: ['ready for merge', 'stale']
- name: add "do not merge" label when WIP is in title
conditions: