From: Junio C Hamano <gitster@pobox.com>
Date: Mon, 16 May 2016 19:27:33 GMT
Subject: Re: [PATCH 5/5] pathspec: record labels
Message-ID: <xmqqvb2d247u.fsf@gitster.mtv.corp.google.com>
In-Reply-To: <CAGZ79kbLcRgM5PoTp7DA-c5DneAWJOxNwZVSMxU0LdVtuBfiRA@mail.gmail.com>

Stefan Beller <sbeller@google.com> writes:

>     "Path '%s': Ignoring label set to false; This may behave
> differently in future versions of Git."

I agree that mentioning "ignoring" is good enough.  I think our
recent messages begin with lowercase, though.