Merge branch 'ma/rev-list-options-docfix'
authorJunio C Hamano <redacted>
Fri, 29 May 2020 22:12:19 +0000 (15:12 -0700)
committerJunio C Hamano <redacted>
Fri, 29 May 2020 22:12:20 +0000 (15:12 -0700)
Docfix.

* ma/rev-list-options-docfix:
  rev-list-options.txt: start a list for `show-pulls`


Trivial merge
git clone https://git.99rst.org/PROJECT