Skip to content

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

Merged
rishitank merged 1 commit into
masterfrom
ci/branch-cleanup
Oct 9, 2026
Merged

ci: delete a PR's head branch after it merges, with an allowlist#15
rishitank merged 1 commit into
masterfrom
ci/branch-cleanup

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

6ac84d1
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar