Remove mergify

2026-06-08 11:22:36 +00:00 · 2025-08-15 09:03:29 +02:00
parent b848cfebb6
commit a714f9812e
1 changed files with 0 additions and 15 deletions
@@ -1,15 +0,0 @@
-pull_request_rules:
-  - name: automatic merge when CI passes and 1 reviews
-    conditions:
-      - "#approved-reviews-by>=1"
-      - "#review-requested=0"
-      - "#changes-requested-reviews-by=0"
-      - base=main
-    actions:
-      merge:
-        method: squash
-  - name: delete head branch after merge
-    conditions:
-      - merged
-    actions:
-      delete_head_branch: {}