From: Junio C Hamano <gitster@pobox.com>
Date: Fri, 06 May 2016 17:17:08 GMT
Subject: Re: [PATCH] mingw: introduce the 'core.hideDotFiles' setting
Message-ID: <xmqqwpn73y3v.fsf@gitster.mtv.corp.google.com>
In-Reply-To: <xmqqh9eb5eo0.fsf@gitster.mtv.corp.google.com>

Junio C Hamano <gitster@pobox.com> 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".