Merge branch 'ma/rev-list-options-docfix'
authorJunio C Hamano <gitster@pobox.com>
Fri, 29 May 2020 22:12:19 +0000 (15:12 -0700)
committerJunio C Hamano <gitster@pobox.com>
Fri, 29 May 2020 22:12:20 +0000 (15:12 -0700)
commit2dfa5a16b07ec7b0cde342cfaf8bdaf72131b26e
tree85c7830e11845c2c706d9e6ee309b2a4db289a57
parent24109910fe9912078f851419731ad046d851dcfc
parent32f7037ab31fa2dcf179bc07bf1cea2b732f6543
Merge branch 'ma/rev-list-options-docfix'

Docfix.

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