From 5339f1893d332dcc06fe8ea245cf4225d9f2a755 Mon Sep 17 00:00:00 2001
From: Simon Jakobi <simon.jakobi@gmail.com>
Date: Mon, 8 Jul 2019 04:20:47 +0200
Subject: [PATCH] Mergify: Add "merged" condition for "delete_head_branch"
 action (#1089)

I came accross https://medium.com/mergify/keep-your-repository-clean-delete-your-merged-branches-4b779f4848ae
which points out that I need a condition here!
---
 .mergify.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.mergify.yml b/.mergify.yml
index 212ce6b..3775264 100644
--- a/.mergify.yml
+++ b/.mergify.yml
@@ -13,4 +13,5 @@ pull_request_rules:
 - actions:
     delete_head_branch: {}
   name: Delete head branch after merge
-  conditions: []
+  conditions:
+  - merged