From ce1e36ac7fbbe90d7088d51db133c3c0f1e18051 Mon Sep 17 00:00:00 2001
From: "mergify[bot]" <37929162+mergify[bot]@users.noreply.github.com>
Date: Thu, 16 Jul 2026 15:33:58 +0000
Subject: [PATCH] ci(mergify): upgrade configuration to current format

---
 .github/mergify.yml | 9 ++-------
 1 file changed, 2 insertions(+), 7 deletions(-)

diff --git a/.github/mergify.yml b/.github/mergify.yml
index 5723d43..62b9209 100644
--- a/.github/mergify.yml
+++ b/.github/mergify.yml
@@ -4,9 +4,9 @@ pull_request_rules:
       - author=evolution-scala-bot[bot]
     actions:
       request_reviews:
-        users: [ Odomontois, FunFunFine ]
+        users: [Odomontois, FunFunFine]
       label:
-        add: [ dependency-update ]
+        add: [dependency-update]
 
   - name: Merge Steward's PRs
     conditions:
@@ -24,8 +24,3 @@ pull_request_rules:
       merge:
         method: rebase
 
-  - name: Delete head branch after merge
-    conditions:
-      - merged
-    actions:
-      delete_head_branch: