Merge pull request #3565 from anoma/tomas/ci-rename-merge-label

change the label to trigger PR merge to "merge"
anoma · Jul 30, 2024 · f979859 · f979859
2 parents d9b61de + b279060
commit f979859
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.mergify.yml b/.mergify.yml
@@ -11,7 +11,7 @@ queue_rules:
 pull_request_rules:
   - name: main-automatic-merge
     conditions:
-        - label = "ready-for-draft"
+        - label = "merge"
         - label != "do-not-merge"
         - "#approved-reviews-by >= 1"
         - base = main