diff options
| author |  SZEDER Gábor <szeder.dev@gmail.com> | 2019-10-21 18:00:39 +0200 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2019-10-23 12:53:50 +0900 |
| commit | e536b1fedf777ad8958a6f299d9d59db6299e697 (patch) | |
| tree | 412e5e85be0f746e625089da0d1f38fe531ddc4d /t/t4067-diff-partial-clone.sh | |
| parent | Git 2.23 (diff) | |
| download | tgif-e536b1fedf777ad8958a6f299d9d59db6299e697.tar.xz | |
Documentation: mention more worktree-specific exceptions
If a directory in $GIT_DIR is overridden when $GIT_COMMON_DIR is set,
then usually all paths within that directory are overridden as well.
There are a couple of exceptions, though, and two of them, namely
'refs/rewritten' and 'logs/HEAD' are not mentioned in
'gitrepository-layout'. Document them as well.
Signed-off-by: SZEDER Gábor <szeder.dev@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 't/t4067-diff-partial-clone.sh')
0 files changed, 0 insertions, 0 deletions