prune-branches.yml

name: Nightly prune merged PR branches

on:
  schedule:
    - cron: '30 3 * * *'
  workflow_dispatch:

permissions:
  contents: write
  pull-requests: read

jobs:
  prune:
    runs-on: ubuntu-latest
    steps:
      - name: Delete merged PR branches (keep main & gnome43-44)
        env:
          GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
          REPO: ${{ github.repository }}
        run: |
          set -e
          KEEP=" main gnome43-44 "
          mapfile -t heads < <(gh pr list --state merged --limit 500 -R "$REPO" --json headRefName --jq '.[].headRefName')
          for b in "${heads[@]}"; do
            if [[ "$KEEP" == *" $b "* ]]; then continue; fi
            echo "Deleting $b"
            gh api -X DELETE repos/$REPO/git/refs/heads/$b || true
          done