Hi,
On Tue, 24 Jul 2007, Julian Phillips wrote:
> If you were going to avoid symlinks, then probably the cleanest way would be
> to have an explict way to point at the actual repo - rather than making the
> working look like a repo if you squint hard enough. Which sounds rather like
> it would be an extension to GIT_DIR + GIT_WORK_TREE.
Almost. .git/{config,HEAD} are not shared. So it would be some extension
that is triggered by something like
[core]
realGitDir = /bla/bla/.git/
Hmm?
Ciao,
Dscho
-
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
