From c06dde377653f9da5c479d4886d8b806b7129fd1 Mon Sep 17 00:00:00 2001
From: Sergey Morgunov <hostage@me.com>
Date: Wed, 9 Nov 2022 12:20:51 +0300
Subject: [PATCH] Remove `merge-when-green` label after closing PR

---
 .github/mergify.yml | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/.github/mergify.yml b/.github/mergify.yml
index d3b4b8a..40d2b71 100644
--- a/.github/mergify.yml
+++ b/.github/mergify.yml
@@ -23,9 +23,11 @@ pull_request_rules:
         method: merge
         name: default
 
-  - name: Delete the PR branch and remove label after merge
+  - name: Delete the PR branch and remove label after merge/close
     conditions:
-      - merged
+      - or:
+        - merged
+        - closed
     actions:
       delete_head_branch: {}
       label: