Clean up a git worktree after its PR has been merged
haiku# Cleanup Git Worktree <objective> Safely remove a git worktree directory after its associated PR has been merged to main, preserving branches and leaving the user in the primary repo ready for the next task. </objective> <merge-verification> Confirm the worktree's branch was merged before any cleanup. Pull main in the primary repo to get the latest state, then verify the branch appears in the merged history. If the branch is unmerged, stop and explain the situation. Merged work is safe to clean up; unmerged work requires user decision. </merge-verification> <cleanup-scope> Remove only ...