Documentation/git-push: fix placeholder formatting
commitd132b32b4e3146e4aa5a719418f85d6db1134140
authorJohn Keeping <john@keeping.me.uk>
Mon, 25 Jul 2016 21:59:55 +0000 (25 22:59 +0100)
committerJunio C Hamano <gitster@pobox.com>
Mon, 25 Jul 2016 22:21:32 +0000 (25 15:21 -0700)
tree88d5683d2e1bface4430eed8bbb03849213d07d8
parent50b4a7807f5f1db79a0a4f4400c29bc00efbd307
Documentation/git-push: fix placeholder formatting

Format the placeholder as monospace to match other occurrences in this
file and obey CodingGuidelines.

Signed-off-by: John Keeping <john@keeping.me.uk>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/git-push.txt