From: Junio C Hamano <gitster@pobox.com>
Date: Wed, 06 Mar 2024 16:03:56 GMT
Subject: Re: [PATCH 19/22] t/t8*: merge "grep | sed" pipelines
Message-ID: <xmqqplw7tkib.fsf@gitster.g>
In-Reply-To: <ZefSPAiTLrRVeXm6@pobox.com>

Todd Zullinger <tmz@pobox.com> writes:

> Junio C Hamano wrote:
>> Isn't -E a GNUism?
> ...
> https://www.austingroupbugs.net/view.php?id=528 suggests
> that -E has been adopted 

Then that is OK.  Thanks for a good news.

> and, importanly, is more widely
> supported than -r (if we were considering using that rather
> than rewriting this to not use ERE syntax).

At least I wasn't, so it is irrelevant to this review, but it still
is nice to know about it [*].  Thanks.

[Footnote] 

 * or is the knowledge of '-r' itself also irrelevant, now '-E' is
   kosher and widely usable?