Re: range-diff, was Re: What's cooking in git.git (Jul 2018, #03; Wed, 25)

From: Junio C Hamano <gitster@pobox.com>
Date: Aug 1, 2018, 19:11 UTC
Message-ID: <xmqqd0v17vhe.fsf@gitster-ct.c.googlers.com>
In-Reply-To: <nycvar.QRO.7.76.6.1808011800570.71@tvgsbejvaqbjf.bet>

Johannes Schindelin <Johannes.Schindelin@gmx.de> writes:

Show 7 quoted lines

>> If any other issue arises, I do not mind taking an update, either,
>> but I think at this point the topic is reaching the point of
>> diminishing returns and should switch to incremental.
>
> Thomas had a couple of good suggestions, still, and I am considering to
> try to find time to simply disable the whitespace warnings altogether in
> range-diff.

OK, then I'll wait and refrain from merging this and other topics that build on top for now.