From: Junio C Hamano <gitster@pobox.com>
Date: Tue, 20 Sep 2022 17:52:10 GMT
Subject: Re: [PATCH 0/4] allow grep -E, and remove egrep
Message-ID: <xmqqa66u6iid.fsf@gitster.g>
In-Reply-To: <cover.1663688697.git.congdanhqx@gmail.com>

Đoàn Trần Công Danh  <congdanhqx@gmail.com> writes:

> Despite our CodingGuidelines dictates that grep -E and or grep \{m,n\}
> are forbidden. Our code bases uses them all over place.

That makes it sounds like rules dictating and coders resisting, but
that is not what is happening.

Portability guidelines need updating as tools on different platforms
change over time.  An effort like this series is very much
appreciated from time to time.