Mergify: Delete head branch after merge (#1064)

Docs: https://doc.mergify.io/examples.html#deleting-merged-branch
2019-07-04 09:11:34 +02:00 · 2019-07-04 09:11:34 +02:00 · 817c833643
parent c7e48bf497
commit 817c833643
1 changed files with 4 additions and 0 deletions
--- 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: []