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 /rerere.h | |
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 'rerere.h')
0 files changed, 0 insertions, 0 deletions