From: Josef Weidendorfer Date: Tue, 24 Jul 2007 14:21:41 GMT Subject: Re: [PATCH 3/3] Teach "git branch" about --new-workdir Message-ID: <200707241621.41719.Josef.Weidendorfer@gmx.de> In-Reply-To: On Tuesday 24 July 2007, Johannes Schindelin wrote: > > > 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. Hmm. Probably depends on any real need for the feature agreed upon. The new-workdir script simply was "good enough" with Linux. Josef