Software EngineeringOpen accessPublished 3 Oct 2026
Find git worktrees whose PR is already merged, then transition their Jira ticket and delete the worktree. Use when cleaning up finished worktrees / "reap merged worktrees" / "any worktrees I can delete?".