pub fn prune(repo: &Path, scratch: &Path)Expand description
Removes the scratch worktrees a crashed search left behind: only those
whose process is gone, each by its own git worktree remove — never
another live search’s, never the repository’s other worktrees.