]> git.ipfire.org Git - thirdparty/git.git/commitdiff
Merge branch 'bb/completion-no-grep-into-awk'
authorJunio C Hamano <gitster@pobox.com>
Wed, 28 Feb 2024 00:04:32 +0000 (16:04 -0800)
committerJunio C Hamano <gitster@pobox.com>
Wed, 28 Feb 2024 00:04:32 +0000 (16:04 -0800)
Some parts of command line completion script (in contrib/) have
been micro-optimized.

* bb/completion-no-grep-into-awk:
  completion: use awk for filtering the config entries


Trivial merge