Re: [PATCH 19/22] t/t8*: merge "grep | sed" pipelines

Todd Zullinger [off-list ref] writes:

Junio C Hamano wrote:

quoted

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?