From: Junio C Hamano <gitster@pobox.com>
Date: Tue, 03 Dec 2013 18:32:20 GMT
Subject: Re: [PATCH] path_treatment: also ignore $GIT_DIR if it's not .git
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".