cherry-pick: document rev-list options#2042

nasamuffin wants to merge 1 commit intogit:mastergit/git:masterfrom

nasamuffin:cherry-pick-docsnasamuffin/git:cherry-pick-docsCopy head branch name to clipboard