Re: [PATCH] mingw: introduce the 'core.hideDotFiles' setting

Junio C Hamano [off-list ref] 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".

Hi Junio,

On Fri, 6 May 2016, Junio C Hamano wrote:

Junio C Hamano [off-list ref] writes:

quoted

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