]> git.ipfire.org Git - thirdparty/git.git/commitdiff
Merge branch 'dd/retire-efgrep'
authorJunio C Hamano <gitster@pobox.com>
Sat, 8 Oct 2022 00:19:59 +0000 (17:19 -0700)
committerJunio C Hamano <gitster@pobox.com>
Sat, 8 Oct 2022 00:19:59 +0000 (17:19 -0700)
Prepare for GNU [ef]grep that throw warning of their uses.

* 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


Trivial merge