mergify: fix issue with labels when PR is closed

0xc0170 · 0xc0170 · commit e9a763f8f65a · 2021-10-04T14:14:16.000+01:00
See Mergifyio/mergify#3307 for details
diff --git 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']
