Skip to content

Harden cdd-worktree-done's removal and branch-deletion paths - #122

Merged
drabaioli merged 2 commits into
mainfrom
worktree_done_hardening
Oct 4, 2026
Merged

drabaioli merged 2 commits into
mainfrom
worktree_done_hardening

Accept a merged PR whose head contains the local tip

fddc63d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar