From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Fri, 29 May 2015 10:52:13 GMT
Subject: Re: [PATCH] git-new-workdir: add windows compatibility
Message-ID: <0ff0ae5b80b4bf5a82444343ac99590b@www.dscho.org>
In-Reply-To: <55683700.3010201@drmicha.warpmail.net>

Hi Michael,

On 2015-05-29 11:53, Michael J Gruber wrote:
> Johannes Schindelin venit, vidit, dixit 26.05.2015 14:35:
>> For what it is worth, I tried my hand a couple of years ago at the project to move git-new-workdir to use the `.git` *file* and alternates mechanisms, but that does not work because you really need a separate `.git/HEAD`.
> 
> Isn't that basically the approach that "git checkout --to" is taking? Is
> that one "Windows proof"? I've lost track of its status, though.

I haven't tried `git checkout --to` on Windows yet, and sadly I won't be able to do that for another week...

Ciao,
Dscho