Re: [PATCH 3/3] worktree prune: improve prune logic when worktree is moved

2018-03-03 Thread Eric Sunshine
On Fri, Mar 2, 2018 at 10:39 PM, Nguyễn Thái Ngọc Duy wrote: > Worktree manual move support is actually gone in 618244e160 (worktree: > stop supporting moving worktrees manually - 2016-01-22). Before that, > this gitdir could be updated often when the worktree is accessed. That

[PATCH 3/3] worktree prune: improve prune logic when worktree is moved

2018-03-02 Thread Nguyễn Thái Ngọc Duy
Worktree manual move support is actually gone in 618244e160 (worktree: stop supporting moving worktrees manually - 2016-01-22). Before that, this gitdir could be updated often when the worktree is accessed. That keeps the worktree from being pruned by this logic. "git worktree move" is coming so