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

Mergify: remove stale label when PR is merged

Author: 0xc0170

.mergify.yml

@@ -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: