On Thu, Aug 30, 2018 at 4:34 PM Eric Sunshine <sunsh...@sunshineco.com> 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
