Re: [RFC/WIP 0/2] Documentation clean-up: git commands

> In current git documentation, git commands are still written in various
> styles: with and without dash, unformatted and formatted with `, ' or ".
> 
> I propose to use `git command` consistently. In asciidoc, backticks are
> for commands, ticks for paths. [Quotes should be like ``this''.]
> 
> A first step is reaching a consistent use of backticks. A second step
> would be sed magic to get rid of the dashes in the text, not in the
> links (linkgit:...).
> 
> Patch 1 is a preparation patch where I spotted the use of a command with
> "git" in an instance where it looks very inconsistent. (It feels OK when