On Thu, Aug 30, 2018 at 3:54 AM Jeff King <[email protected]> wrote: > Subject: [PATCH] doc-diff: force worktree add > > We avoid re-creating our temporary worktree if it's already > there. But we may run into a situation where the worktree > has been deleted, but an entry still exists in > $GIT_DIR/worktrees.
Can "clean" or "distclean" also be augmented to remove this worktree (and directory)? I guess that "distclean" would make more sense than "clean"(?). > Older versions of git-worktree would annoyingly create a > series of duplicate entries. Recent versions now detect and > prevent this, allowing you to override with "-f". Since we > know that the worktree in question was just our temporary > workspace, it's safe for us to always pass "-f". Makes sense, and the patch looks correct. > Signed-off-by: Jeff King <[email protected]>
