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

From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: May 7, 2016, 06:01 UTC
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:

Show 9 quoted lines

> 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

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.