git-worktree.txt: recommend 'git worktree remove' over manual deletion
authorEric Sunshine <sunshine@sunshineco.com>
Mon, 9 Apr 2018 07:33:59 +0000 (03:33 -0400)
committerJunio C Hamano <gitster@pobox.com>
Mon, 9 Apr 2018 09:49:22 +0000 (18:49 +0900)
commit3f0b42bd074fcb49ae9b18522e6b2b8a27aa07b6
tree1f394feca706d4a9faf5ed53299fe64a682acd38
parentb1801b85a32e21a7e83d165b029b5115ab0f8167
git-worktree.txt: recommend 'git worktree remove' over manual deletion

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.

Signed-off-by: Eric Sunshine <sunshine@sunshineco.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/git-worktree.txt