mergify: Remove ready-to-merge label when PR is closed

This way the ready-to-merge label can be used to filter PRs that are stalled. Mergify considers a merged PR closed, so we don't need to add it explicitly.
golang108 · Apr 1, 2022 · 6c7aa61 · 6c7aa61
1 parent c509027
commit 6c7aa61
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/.github/mergify.yml b/.github/mergify.yml
@@ -21,3 +21,11 @@ pull_request_rules:
           {{ title }} (#{{ number }})
 
           {{ body }}
+
+  - name: remove ready-to-merge label when no longer needed
+    conditions:
+      - closed
+    actions:
+      label:
+        remove:
+          - ready-to-merge