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 -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html