From: Johannes Schindelin Date: Tue, 24 Jul 2007 13:54:58 GMT Subject: Re: [PATCH 3/3] Teach "git branch" about --new-workdir Message-ID: In-Reply-To: <200707241547.16681.Josef.Weidendorfer@gmx.de> Hi, On Tue, 24 Jul 2007, Josef Weidendorfer wrote: > On Tuesday 24 July 2007, Johannes Schindelin wrote: > > > 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). I blame it on me being tired. .git/config _is_ shared, and I meant to write "index" instead of "config" there. Not really a typo, is it? > > 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. Oh? I saw no code... To me it is not an agreement, if no code comes out of it. Ciao, Dscho