]> git.99rst.org Git - git.git/commitdiff
Merge branch 'jc/name-rev-stdin'
authorJunio C Hamano <redacted>
Fri, 25 Feb 2022 23:47:36 +0000 (15:47 -0800)
committerJunio C Hamano <redacted>
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
git clone https://git.99rst.org/PROJECT