Re: [PATCH 0/3] git worktree prune improvements

On Sat, Mar 3, 2018 at 9:21 PM, Randall S. Becker wrote: > On March 2, 2018 10:39 PM, Nguy?n Thái Ng?c Duy wrote: >> This is something we could do to improve the situation when a user manually >> moves a worktree and not follow the update process (we have had the first >>

RE: [PATCH 0/3] git worktree prune improvements

On March 2, 2018 10:39 PM, Nguy?n Thái Ng?c Duy wrote: > This is something we could do to improve the situation when a user manually > moves a worktree and not follow the update process (we have had the first > reported case [1]). Plus a bit cleanup in gc. > > I think this is something we should

[PATCH 0/3] git worktree prune improvements

This is something we could do to improve the situation when a user manually moves a worktree and not follow the update process (we have had the first reported case [1]). Plus a bit cleanup in gc. I think this is something we should do until we somehow make the user aware that the worktree is