From: Josef Weidendorfer <josef.weidendorfer@gmx.de>
Date: Tue, 24 Jul 2007 13:47:15 GMT
Subject: Re: [PATCH 3/3] Teach "git branch" about --new-workdir
Message-ID: <200707241547.16681.Josef.Weidendorfer@gmx.de>
In-Reply-To: <Pine.LNX.4.64.0707241336090.14781@racer.site>

On Tuesday 24 July 2007, Johannes Schindelin wrote:
> 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.

.git/index, too. And for .git/config, it would probably be better to merge the
two config's (the one from "realGitDir" with 2nd priority).

> So it would be some extension  
> that is triggered by something like
> 
> 	[core]
> 		realGitDir = /bla/bla/.git/

That is more or less almost exacty the last agreement about how to
implement the lightweight checkouts, a few months ago.

Should this even work recursively?

Josef