From: Junio C Hamano <gitster@pobox.com>
Date: Fri, 23 Sep 2022 15:31:04 +0000 (-0700)
Subject: Merge branch 'dd/retire-efgrep' into es/retire-efgrep
X-Git-Tag: v2.39.0-rc0~141^2~1
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=75fc96d57e1262fe4b6bf87b5887e9103bcca7fb;p=thirdparty%2Fgit.git

Merge branch 'dd/retire-efgrep' into es/retire-efgrep

* dd/retire-efgrep:
  t: convert fgrep usage to "grep -F"
  t: convert egrep usage to "grep -E"
  t: remove \{m,n\} from BRE grep usage
  CodingGuidelines: allow grep -E
---

75fc96d57e1262fe4b6bf87b5887e9103bcca7fb