chore(): clean up branch on deletion

This commit is contained in:
Liam DeBeasi
2022-04-14 19:48:05 +00:00
parent 9fa370252f
commit 438ba22a12

View File

@@ -52,3 +52,11 @@ jobs:
env:
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
shell: bash
# We need to push the commit changes in order for the tags
# to get updated, but we don't need to keep the changelog
# changes around.
- name: Delete Nightly Branch
run: |
git branch -d nightly-$(echo "${{ env.DATE }}")-$(echo "${{ env.HASH }}")
git push origin --delete nightly-$(echo "${{ env.DATE }}")-$(echo "${{ env.HASH }}")
shell: bash