On Mon, Apr 9, 2018 at 9:33 AM, Eric Sunshine <sunshine@xxxxxxxxxxxxxx> wrote: > When cc73385cf6 (worktree remove: new command, 2018-02-12) implemented > and documented 'git worktree remove', it forgot to update existing > instructions suggesting manual deletion. Fix this oversight by > recommending 'git worktree remove' instead. Too bad we can't show off "git worktree move" :) The patches look fine. -- Duy
