On Thu, Aug 30, 2018 at 4:34 PM Eric Sunshine <sunshine@xxxxxxxxxxxxxx> wrote:
> Taking into consideration that people might be surprised and alarmed
> to find "git worktree list" showing a worktree they didn't explicitly
> create, would it make sense to do something like this?
>
> clean:
> ...
> -git worktree remove -f tmp-doc-diff 2>/dev/null
> $(RM) -r tmp-doc-diff
More accurately:
-git worktree remove -f Documentation/tmp-doc-diff/worktree 2>/dev/null
$(RM) -r tmp-doc-diff
