From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Sat, 07 May 2016 06:01:43 GMT
Subject: Re: [PATCH] mingw: introduce the 'core.hideDotFiles' setting
Message-ID: <alpine.DEB.2.20.1605070800060.2963@virtualbox>
In-Reply-To: <xmqqwpn73y3v.fsf@gitster.mtv.corp.google.com>

Hi Junio,

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

> 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".

Heh. For the record, I did understand what you meant the first time round.

Ciao,
Dscho