From effceb5fcbebc197ccd24419b3c7b4664714a526 Mon Sep 17 00:00:00 2001
From: Rico Huijbers <rix0rrr@gmail.com>
Date: Wed, 9 Sep 2020 15:46:25 +0200
Subject: [PATCH] chore: don't have mergify delete branches (#10264)

Branches are automatically deleted by GitHub itself, so Mergify doesn't
have to do that.

In fact, Mergify trying to do it leaves the end result of every
closed PR with a failing "cross" icon because the Mergify action
to delete the head branch fails.
---
 .mergify.yml | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/.mergify.yml b/.mergify.yml
index 96cc7bbb7c21f..9be52c560afde 100644
--- a/.mergify.yml
+++ b/.mergify.yml
@@ -17,7 +17,6 @@ pull_request_rules:
         method: squash
         strict_method: merge
         commit_message: title+body
-      delete_head_branch: {}
     conditions:
       - base!=release
       - -title~=(WIP|wip)
@@ -41,7 +40,6 @@ pull_request_rules:
         method: squash
         strict_method: merge
         commit_message: title+body
-      delete_head_branch: {}
     conditions:
       - base!=release
       - -title~=(WIP|wip)
@@ -67,7 +65,6 @@ pull_request_rules:
         method: merge
         strict_method: merge
         commit_message: title+body
-      delete_head_branch: {}
     conditions:
       - -title~=(WIP|wip)
       - -label~=(blocked|do-not-merge)
@@ -115,7 +112,6 @@ pull_request_rules:
         # It's not dangerous: GitHub branch protection settings prevent merging stale branches.
         strict: false
         method: squash
-      delete_head_branch: {}
     conditions:
       - -title~=(WIP|wip)
       - -label~=(blocked|do-not-merge)