From: Johannes Schindelin Date: Mon, 25 Oct 2021 13:09:57 GMT Subject: Re: [PATCH 6/6] git-sh-setup: remove "sane_grep", it's not needed anymore Message-ID: In-Reply-To: Hi Junio, On Sun, 24 Oct 2021, Junio C Hamano wrote: > Johannes Schindelin 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