Eric Sunshine 3a5404333c worktree: delete .git/worktrees if empty after 'remove' ...

For cleanliness, "git worktree prune" deletes the .git/worktrees
directory if it is empty after pruning is complete.

For consistency, make "git worktree remove <path>" likewise delete
.git/worktrees if it is empty after the removal.

Signed-off-by: Eric Sunshine <sunshine@sunshineco.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>

2018-08-30 09:28:02 -07:00

25 KiB

Raw Blame History

View Raw