Repository navigation

ci: delete a PR's head branch after it merges, with an allowlist - #7

Closed

rishitank wants to merge 2 commits into

mainfrom

ci/branch-cleanup

Closed

ci: delete a PR's head branch after it merges, with an allowlist#7
rishitank wants to merge 2 commits into
mainfrom
ci/branch-cleanup

Commits on Oct 9, 2026
- ci: delete a PR's head branch after it merges, with an allowlist
  
  rishitank
  and
  claude
  committed
  7c8b38a
- ci(branch-cleanup): only delete the merged commit; keep heads of open PRs
  
  rishitank
  and
  claude
  committed
  79e7862