chore: delete_head_branch

p6m7g8 · Oct 30, 2024 · 345c22e · 345c22e
1 parent bd82838
commit 345c22e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.mergify.yml b/.mergify.yml
@@ -12,6 +12,7 @@ pull_request_rules:
       - -label~=(do-not-merge)
       - status-success=build
     actions:
+      delete_head_branch:
       queue:
         merge_method: rebase
   - name: Label core contributions