Repository navigation

Fix pruning git worktrees - #6

Merged

skunkworker merged 6 commits into

jb/2026_10_08_worktree_prune

Oct 8, 2026

Merged

Fix pruning git worktrees#6
skunkworker merged 6 commits into
masterfrom
jb/2026_10_08_worktree_prune

Commits on Oct 8, 2026
- Remove a branch's worktree before deleting the branch
  
  skunkworker
  and
  claude
  committed
  59bfcf3
- Show worktree branches and the worktrees a delete removes
  
  skunkworker
  and
  claude
  committed
  1e6e7c9
- Test deleting branches held by worktrees
  
  skunkworker
  and
  claude
  committed
  9d644ba
- Simplify the worktree delete checks
  
  skunkworker
  and
  claude
  committed
  cfa51e6
- Merge origin/master into jb/2026_10_08_worktree_prune
  
  skunkworker
  and
  claude
  committed
  135f2ef
- Always remove a branch's worktree with everything in it
  
  skunkworker
  and
  claude
  committed
  b75e8af