Re: [PATCH 6/6] git-sh-setup: remove "sane_grep", it's not needed anymore

From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Oct 25, 2021, 13:09 UTC
Message-ID: <nycvar.QRO.7.76.6.2110251509340.62@tvgsbejvaqbjf.bet>
In-Reply-To: <xmqq1r4a6b9n.fsf@gitster.g>

Hi Junio,

On Sun, 24 Oct 2021, Junio C Hamano wrote:

Show 12 quoted lines

> 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 ;-)

Ciao, Dscho