Start clean after a merged PR: on the default branch, level with the remote, with the branches and worktrees that already landed gone.