Skip to content

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

Merged
rishitank merged 2 commits into
masterfrom
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

ci(branch-cleanup): only delete the merged commit; keep heads of open…

3fd091b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar