Re: [PATCH 3/3] Teach "git branch" about --new-workdir
- From
- Josef Weidendorfer <josef.weidendorfer@gmx.de>
- Date
- Jul 24, 2007, 13:47 UTC
- 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:
Show 10 quoted lines
> 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).
Show 5 quoted lines
> 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