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

Merge pull request #14321 from ARMmbed/0xc0170-fix-removing-stale-label 

Mergify: remove stale label when PR is merged
pull/14374/head
Martin Kojtal 2021-03-02 16:47:08 +00:00 committed by GitHub
parent a9766519cf 1c429acb4e
commit 71de6e24af
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" - "label=ready for merge"
actions: actions:
label: label:
remove: ['ready for merge'] remove: ['ready for merge', 'stale']
- name: add "do not merge" label when WIP is in title - name: add "do not merge" label when WIP is in title
conditions: conditions: