Hi Junio, On Fri, 6 May 2016, Junio C Hamano wrote: > Junio C Hamano <gitster@xxxxxxxxx> writes: > > > If you are sure we do not need that, that is one less reason we > > would be better off without mark_as_git_dir(). > > Oops. To many rounds of rewriting followed by a rather careless > final round of reading. I couldn't decide between "That is one less > reason why we need it" and "That is one more reason why we are > better off without it". Heh. For the record, I did understand what you meant the first time round. 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