From 103b82bd9f6f3266c4b178ebfb490d6c912f1480 Mon Sep 17 00:00:00 2001
From: Owain van Brakel <owain.vanbrakel@gmail.com>
Date: Mon, 4 Nov 2019 01:46:24 +0100
Subject: [PATCH] actions: Remove branch after auto merge

---
 .github/workflows/merge.yml | 19 ++++++++++++++++++-
 1 file changed, 18 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/merge.yml b/.github/workflows/merge.yml
index 343a3f14e7..f7931e242b 100644
--- a/.github/workflows/merge.yml
+++ b/.github/workflows/merge.yml
@@ -17,4 +17,21 @@ jobs:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
           MERGE_FORKS: false
           LABELS: automated-pull-request
-          AUTOMERGE: automated-pull-request
\ No newline at end of file
+          AUTOMERGE: automated-pull-request
+          
+  cleanup:
+    name: Cleanup
+    needs: automerge
+    runs-on: ubuntu-latest
+
+    steps:
+      - name: Extract branch name
+        shell: bash
+        run: echo "##[set-output name=branch;]$(echo $(jq --raw-output .pull_request.head.ref "$GITHUB_EVENT_PATH"))"
+        id: extract_branch
+      - name: Delete PR head branch
+        uses: dawidd6/action-delete-branch@master
+        with:
+          github_token: ${{ secrets.GITHUB_TOKEN }}
+          branch: ${{ steps.extract_branch.outputs.branch }}
+          be_kind: true