On 28 March 2018 at 10:48, Jeff King <[email protected]> wrote: > On Sat, Mar 10, 2018 at 12:52:09PM +0100, Martin Ågren wrote: > >> Someone trying this out might notice that `man git-shortlog` renders >> "\--" as "\--", which is not wanted. (Also visible on git-scm.com...) >> There is quite some history around such double-slashes and compatibility >> with AsciiDoc-versions, so I'd rather not do a "while at it" there. >> Regardless of the destiny of patch 1/3, I will follow up later to >> address various forms of "\--" throughout the tree. > > I didn't see any follow-up here, but in case you were delaying because > the history search seemed boring: dropping the backslash is the right > thing to do. See the discussion in 1c262bb7b2 (doc: convert \--option > to --option, 2015-05-13).
Thanks for pinging and thanks for the pointer. That commit is indeed helpful and I am referencing it in a local topic, which I will submit once ma/shortlog-revparse hits master. Martin
