Re: [PATCH] path_treatment: also ignore $GIT_DIR if it's not .git
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Dec 3, 2013, 18:32 UTC
- Message-ID
- <xmqqtxepokej.fsf@gitster.dls.corp.google.com>
- In-Reply-To
- <529DF64A.70801@gmail.com>
Karsten Blees <karsten.blees@gmail.com> writes:
>So I figure that GIT_DIR is not meant to _rename_ the ".git" dir, >but to point somewhere _outside_ the worktree (or somewhere within >the .git dir).
Correct.
> If we don't want to support this, though, I think it would be more > approrpiate to issue a warning if GIT_DIR points to a worktree > location.
But how do tell what is and isn't a "worktree location"? Having the path in the index would be one, but you may find it out only after issuing "git checkout $antient_commit".