From 22428f9e1ffa645f748c6e97e2823fd64f12d7c9 Mon Sep 17 00:00:00 2001
From: Simon Jakobi <simon.jakobi@gmail.com>
Date: Sun, 7 Jul 2019 19:56:39 +0200
Subject: [PATCH] Reapply "Mergify: Delete head branch after merge (#1064)"
 (#1086)

This reverts commit 4004d62f286802ebc2679f84031fc4f7e057dbfc.
---
 .mergify.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.mergify.yml b/.mergify.yml
index 712fe87..212ce6b 100644
--- a/.mergify.yml
+++ b/.mergify.yml
@@ -10,3 +10,7 @@ pull_request_rules:
   - label=merge me
   - ! '#approved-reviews-by>=1'
   - ! '#changes-requested-reviews-by=0'
+- actions:
+    delete_head_branch: {}
+  name: Delete head branch after merge
+  conditions: []