]> git.ipfire.org Git - thirdparty/git.git/commitdiff
Merge branch 'jc/name-rev-stdin'
authorJunio C Hamano <gitster@pobox.com>
Fri, 25 Feb 2022 23:47:36 +0000 (15:47 -0800)
committerJunio C Hamano <gitster@pobox.com>
Fri, 25 Feb 2022 23:47:36 +0000 (15:47 -0800)
Finishing touches to an earlier "name-rev --annotate-stdin" series.

* jc/name-rev-stdin:
  name-rev: replace --stdin with --annotate-stdin in synopsis


Trivial merge