name: Delete Merged Branch

on:
  pull_request:
    types: [closed]

permissions:
  contents: write

jobs:
  delete_merged_branch:
    runs-on: 'ubuntu-24.04'
    if: github.event.pull_request.merged == true && github.repository == github.event.pull_request.head.repo.full_name
    steps:
      - name: Checkout repository
        uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6

      - name: Delete branch
        run: |
          branch_name=$(echo "${{ github.event.pull_request.head.ref }}")
          if [ "$branch" != "refs/heads/main" ] && [ "$branch" != "refs/heads/master" ]; then
            echo "Deleting branch ${branch_name}"
            git push origin --delete $branch_name
          else
            echo "Skipping deletion of main or master branch"
          fi
        env:
          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}