From: Björn Steinbrink <b.steinbrink@gmx.de>
Date: Thu, 15 May 2008 18:44:23 GMT
Subject: Re: [PATCH] Export GIT_DIR after setting it
Message-ID: <20080515184423.GA13535@atjola.homenet>
In-Reply-To: <20080515182806.GA14799@lapse.madduck.net>

On 2008.05.15 19:28:06 +0100, martin f. krafft wrote:
> also sprach Björn Steinbrink <B.Steinbrink@gmx.de> [2008.05.15.1855 +0100]:
> > It kind of feels like a bug that git-pull does not export GIT_DIR there,
> > but you could probably also argue that it is wrong not to have GIT_DIR
> > set in the environment when using a non-standard name for the git dir.
> > Hm?
> 
> Ah, but it is a standard name: .
> 
> If git does not find .git, it *does* seem to look into the current
> directory too; that's why commands work inside bare repos...

Yeah, but this is not a bare repo. As far as I understood Junio, it is
at least an error to use GIT_DIR without GIT_WORK_TREE (or
core.worktree), so I'm just thinking that it may also be an error to use
GIT_WORK_TREE (or core.worktree) without GIT_DIR.

Björn