diff options
| author | Nguyễn Thái Ngọc Duy <pclouds@gmail.com> | 2018-01-24 16:53:51 +0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2018-01-24 11:04:26 -0800 |
| commit | 4ddddc1f1d763d3c4e0e57af1153c6d48ca4db9b (patch) | |
| tree | f11fca1c2cedc65196fb297d172c1832e69ea35b /git-mergetool.sh | |
| parent | 8279ed033f703d4115bee620dccd32a9ec94d9aa (diff) | |
| download | git-4ddddc1f1d763d3c4e0e57af1153c6d48ca4db9b.tar.gz | |
worktree.c: add validate_worktree()
This function is later used by "worktree move" and "worktree remove"
to ensure that we have a good connection between the repository and
the worktree. For example, if a worktree is moved manually, the
worktree location recorded in $GIT_DIR/worktrees/.../gitdir is
incorrect and we should not move that one.
Signed-off-by: Nguyễn Thái Ngọc Duy <pclouds@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'git-mergetool.sh')
0 files changed, 0 insertions, 0 deletions