Files
git/builtin
Nguyễn Thái Ngọc Duy ee6763af0a worktree remove: allow it when $GIT_WORK_TREE is already gone
"git worktree remove" basically consists of two things

- delete $GIT_WORK_TREE
- delete $GIT_DIR (which is $SUPER_GIT_DIR/worktrees/something)

If $GIT_WORK_TREE is already gone for some reason, we should be able
to finish the job by deleting $GIT_DIR.

Two notes:

- $GIT_WORK_TREE _can_ be missing if the worktree is locked. In that
  case we must not delete $GIT_DIR because the real $GIT_WORK_TREE may
  be in a usb stick somewhere. This is already handled because we
  check for lock first.

- validate_worktree() is still called because it may do more checks in
  future (and it already does something else, like checking main
  worktree, but that's irrelevant in this case)

Noticed-by: Kaartic Sivaraam <kaartic.sivaraam@gmail.com>
Signed-off-by: Nguyễn Thái Ngọc Duy <pclouds@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
2018-02-12 13:13:35 -08:00
..
2017-11-27 11:06:37 +09:00
2017-10-06 10:07:18 +09:00
2016-11-22 13:55:20 -08:00
2017-12-27 11:16:25 -08:00
2017-06-24 14:28:41 -07:00
2017-12-27 11:16:25 -08:00
2017-11-18 12:31:29 +09:00
2017-12-28 14:08:50 -08:00
2017-10-07 16:27:55 +09:00
2017-03-31 08:33:56 -07:00
2017-09-25 15:24:07 +09:00
2017-11-21 14:07:50 +09:00
2017-06-24 14:28:41 -07:00
2017-12-27 11:16:29 -08:00
2017-08-26 22:55:09 -07:00
2017-12-06 09:23:39 -08:00
2017-12-13 13:28:54 -08:00
2017-12-06 09:23:44 -08:00
2017-11-18 12:31:29 +09:00
2017-06-24 14:28:41 -07:00
2017-12-27 11:16:29 -08:00
2017-12-27 11:16:21 -08:00
2017-08-22 10:29:03 -07:00
2017-12-27 11:16:29 -08:00
2017-11-06 14:24:27 +09:00
2017-11-21 14:07:50 +09:00
2017-06-24 14:28:41 -07:00