Revert "Mergify: Delete head branch after merge (#1064)" (#1070)

Context: https://github.com/dhall-lang/dhall-haskell/pull/1064#issuecomment-508552667 This reverts commit 817c833643.
2019-07-04 22:23:14 +02:00 · 2019-07-04 22:23:14 +02:00 · 4004d62f28
parent 6afbba449d
commit 4004d62f28
1 changed files with 0 additions and 4 deletions
--- a/.mergify.yml
+++ b/.mergify.yml
@ -10,7 +10,3 @@ 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: []