Re: [PATCH] mingw: introduce the 'core.hideDotFiles' setting
- From
Junio C Hamano <gitster@pobox.com>
- Date
- May 6, 2016, 17:17 UTC
- 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".