Re: [PATCH 0/9] worktree: fix bugs and broaden --force applicability
- From
Eric Sunshine <sunshine@sunshineco.com>
- Date
- Aug 30, 2018, 09:04 UTC
- Message-ID
- <CAPig+cS3-oRzQrZGM_-pXUVFE3HvMdtODurPkmYgw1vFV8zb3Q@mail.gmail.com>
- In-Reply-To
- <20180830075431.GF11944@sigill.intra.peff.net>
On Thu, Aug 30, 2018 at 3:54 AM Jeff King <peff@peff.net> wrote:
Show 6 quoted lines
> 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"(?).
Show 5 quoted lines
> 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 <peff@peff.net>