From c70dfe92a9e71561b5c704ec17381e713e98dcf6 Mon Sep 17 00:00:00 2001
From: "mergify[bot]" <37929162+mergify[bot]@users.noreply.github.com>
Date: Tue, 12 May 2026 05:56:00 +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 0ce6d4c..c9d3d6c 100644
--- a/.github/mergify.yml
+++ b/.github/mergify.yml
@@ -6,9 +6,9 @@ pull_request_rules:
           - author=trace4cats-steward[bot]
     actions:
       request_reviews:
-        users: [ janstenpickle, catostrophe ]
+        users: [janstenpickle, catostrophe]
       label:
-        add: [ dependency-update ]
+        add: [dependency-update]
 
   - name: Merge Stewards' PRs
     conditions:
@@ -35,8 +35,3 @@ pull_request_rules:
       merge:
         method: rebase
 
-  - name: Delete head branch after merge
-    conditions:
-      - merged
-    actions:
-      delete_head_branch: