diff --git a/.github/workflows/delete_merged_branch.yml b/.github/workflows/delete_merged_branch.yml new file mode 100644 index 000000000..63b0d2024 --- /dev/null +++ b/.github/workflows/delete_merged_branch.yml @@ -0,0 +1,21 @@ +name: Delete Merged Branch + +on: + pull_request: + types: [closed] + +jobs: + delete_merged_branch: + runs-on: ubuntu-latest + if: github.event.pull_request.merged == true + steps: + - name: Delete branch + run: | + branch=${{ github.ref }} + if [ "$branch" != "refs/heads/main" ] && [ "$branch" != "refs/heads/master" ]; then + git push origin --delete "${branch#refs/heads/}" + else + echo "Skipping deletion of main or master branch" + fi + env: + GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}