ci: make mergify only remove automerge when PR hasn't been merged (#31574)

2023-05-12 12:50:26 +08:00 · 2023-05-12 12:50:26 +08:00 · f5eaed6f2b
parent 3e543665c7
commit f5eaed6f2b
1 changed files with 4 additions and 2 deletions
--- a/.mergify.yml
+++ b/.mergify.yml
@ -63,8 +63,10 @@ pull_request_rules:
        method: squash
  - name: remove automerge label on CI failure
    conditions:
-      - label=automerge
-      - "#status-failure!=0"
+      - and:
+        - label=automerge
+        - "#status-failure!=0"
+        - -merged
    actions:
      label:
        remove: