From e9a763f8f65a323b2846ab3bba676478a73efbbd Mon Sep 17 00:00:00 2001
From: Martin Kojtal <martin.kojtal@arm.com>
Date: Mon, 4 Oct 2021 14:13:57 +0100
Subject: [PATCH] mergify: fix issue with labels when PR is closed

See https://github.com/Mergifyio/mergify-engine/issues/3307 for details
---
 .mergify.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.mergify.yml b/.mergify.yml
index 0062487842..7aae293bf3 100644
--- a/.mergify.yml
+++ b/.mergify.yml
@@ -58,6 +58,7 @@ pull_request_rules:
       # Jenkins CI failing
       - check-failure~=continuous-integration/jenkins/pr-head
       - "label!=mergify skip"
+      - -closed
     actions:
       label:
         add: ['needs: work']