From 410c047c143ea2a69f97529051107cd4932796d0 Mon Sep 17 00:00:00 2001
From: Christian Kellner <christian@kellner.me>
Date: Mon, 6 Dec 2021 21:29:57 +0000
Subject: [PATCH] [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.
---
 .github/mergify.yml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.github/mergify.yml b/.github/mergify.yml
index 30c2ddf0..0acd2dd4 100644
--- a/.github/mergify.yml
+++ b/.github/mergify.yml
@@ -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