Remove a ticket's git worktree
cleanup_worktreeRemove a git worktree for a ticket after its branch has been merged, with optional force to discard uncommitted changes.
Instructions
Remove a ticket's git worktree once its branch has been merged back (git worktree remove + prune). REFUSES when the worktree has uncommitted changes unless force:true. No-ops with a message when no worktree is registered for the ticket, and never force-deletes a path git doesn't recognise as a worktree. Leaves the ticket/ branch intact (merge it back first with the merge-back guidance).
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| force | No | Remove even if the worktree has uncommitted changes. | |
| ticket | Yes | ||
| project | Yes |