Repository navigation

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

Merged

rishitank merged 2 commits into

ci/branch-cleanup

Oct 9, 2026

Merged

ci: delete a PR's head branch after it merges, with an allowlist#1
rishitank merged 2 commits into
masterfrom
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
  b85168f
- ci(branch-cleanup): only delete the merged commit; keep heads of open PRs
  
  rishitank
  and
  claude
  committed
  3fd091b