On Tue, Apr 3, 2018 at 4:42 AM, Jens Krüger <Jens.Krueger@xxxxxxxxxxx> wrote: > Maybe, the attached patch may help. On my machine(s) it helped. > git worktree list --porcelain >out && > grep "^worktree.*/destination" out && > - ! grep "^worktree.*/source" out && > + ! grep "^worktree.*/source$" out && Our emails crossed. I suggested the same in my response (although I'd add the '$' anchor to both grep's, not just the one).
