From: Junio C Hamano <gitster@pobox.com>
Date: Mon, 25 Oct 2021 17:14:15 GMT
Subject: Re: [PATCH 6/6] git-sh-setup: remove "sane_grep", it's not needed anymore
Message-ID: <xmqq1r492fiw.fsf@gitster.g>
In-Reply-To: <nycvar.QRO.7.76.6.2110251509340.62@tvgsbejvaqbjf.bet>

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

> Hi Junio,
>
> On Sun, 24 Oct 2021, Junio C Hamano wrote:
>
>> Johannes Schindelin <Johannes.Schindelin@gmx.de> writes:
>>
>> >> For all other users, I think the above applies well, but the one in
>> >> filter-branch deals with end-user contents, so we cannot say
>> >> "contents of the tag cannot be binary".
>> >>
>> >> Not that I care about filter-branch too deeply ;-)
>> >
>> > You probably meant that you do not care about filter-branch too deeply?
>> > ;-)
>>
>> I don't get it.  Not only I meant, I said so, didn't I?
>
> Hah, I autocorrected your "Not" to "Note" in my mind ;-)

Ahh, a single byte makes quite a big difference ;-)