From 12dc340184443d61dbb38a757a15bd083883b527 Mon Sep 17 00:00:00 2001
From: "mergify[bot]" <37929162+mergify[bot]@users.noreply.github.com>
Date: Mon, 30 Mar 2026 23:00:27 +0000
Subject: [PATCH] ci(mergify): upgrade configuration to current format

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

diff --git a/.github/mergify.yml b/.github/mergify.yml
index 18edda0..b07dcd9 100644
--- a/.github/mergify.yml
+++ b/.github/mergify.yml
@@ -65,10 +65,9 @@ pull_request_rules:
   - name: Delete the PR branch and remove label after merge/close
     conditions:
       - or:
-        - merged
-        - closed
+          - merged
+          - closed
     actions:
-      delete_head_branch: {}
       label:
         remove:
           - "status:merge-when-green"
@@ -80,4 +79,4 @@ pull_request_rules:
       - author=scala-steward
     actions:
       label:
-        add: [ "type:updates" ]
+        add: ["type:updates"]