diff options
author | Junio C Hamano <gitster@pobox.com> | 2018-04-10 02:25:45 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2018-04-10 02:25:45 +0300 |
commit | ca923f72653f5bfc61933ee334ca5fe34d4fe5f0 (patch) | |
tree | 2e0439f6b79469bc996b273270891e0cc0b332e6 /t/t4037-diff-r-t-dirs.sh | |
parent | a5bbc29994b22ab0b57c4dc9568a261d32476e94 (diff) | |
parent | 327864aaf76d000ee5d7722b9b9611ed7a2708f5 (diff) |
Merge branch 'nd/worktree-prune'
The way "git worktree prune" worked internally has been simplified,
by assuming how "git worktree move" moves an existing worktree to a
different place.
* nd/worktree-prune:
worktree prune: improve prune logic when worktree is moved
worktree: delete dead code
gc.txt: more details about what gc does
Diffstat (limited to 't/t4037-diff-r-t-dirs.sh')
0 files changed, 0 insertions, 0 deletions