From: Junio C Hamano <gitster@pobox.com>
Date: Mon, 23 Jul 2012 20:34:48 GMT
Subject: Re: [PATCH] Solve git-submodule issues with detached work trees
Message-ID: <7vd33mkyhj.fsf@alter.siamese.dyndns.org>
In-Reply-To: <500DADEE.9060700@web.de>

Jens Lehmann <Jens.Lehmann@web.de> writes:

> We could get rid of the core.worktree setting by assuming that the
> directory a gitfile was found in is the root of the repo's work
> tree (unless configured otherwise).

Now you lost me.  If you have .git that is not a directory but is a
gitfile, then you do not need GIT_DIR nor GIT_WORK_TREE in the first
place, no?