[skip ci] ci: remove label _after_ pr is merged

Don't try to do it in the same action as otherwise the bot will
refuse to actually add it to the queue.
This commit is contained in:
Christian Kellner 2021-12-06 21:29:57 +00:00
parent a3dc87bd76
commit 410c047c14

5
.github/mergify.yml vendored
View file

@ -82,6 +82,11 @@ pull_request_rules:
update_method: rebase
rebase_fallback: none
require_branch_protection: false
- name: Remove label after merge or close
conditions:
- merged
- closed
actions:
label:
remove:
- ci:automerge