Skip to content

ci: auto-delete PR head branch on close#105

Merged
JeanExtreme002 merged 2 commits into
mainfrom
ci/delete-branch-on-merge
May 13, 2026
Merged

ci: auto-delete PR head branch on close#105
JeanExtreme002 merged 2 commits into
mainfrom
ci/delete-branch-on-merge

Commits

Commits on May 13, 2026