On 2008.05.15 19:28:06 +0100, martin f. krafft wrote: > also sprach Björn Steinbrink <B.Steinbrink@xxxxxx> [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 -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
