summaryrefslogtreecommitdiff
path: root/Documentation/git-push.txt
diff options
context:
space:
mode:
authorJohn Keeping <john@keeping.me.uk>2016-07-25 21:59:55 (GMT)
committerJunio C Hamano <gitster@pobox.com>2016-07-25 22:21:32 (GMT)
commitd132b32b4e3146e4aa5a719418f85d6db1134140 (patch)
tree88d5683d2e1bface4430eed8bbb03849213d07d8 /Documentation/git-push.txt
parent50b4a7807f5f1db79a0a4f4400c29bc00efbd307 (diff)
downloadgit-d132b32b4e3146e4aa5a719418f85d6db1134140.zip
git-d132b32b4e3146e4aa5a719418f85d6db1134140.tar.gz
git-d132b32b4e3146e4aa5a719418f85d6db1134140.tar.bz2
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>
Diffstat (limited to 'Documentation/git-push.txt')
-rw-r--r--Documentation/git-push.txt2
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/git-push.txt b/Documentation/git-push.txt
index af521f8..5355a8d 100644
--- a/Documentation/git-push.txt
+++ b/Documentation/git-push.txt
@@ -198,7 +198,7 @@ branch we have for it.
+
`--force-with-lease=<refname>:<expect>` will protect the named ref (alone),
if it is going to be updated, by requiring its current value to be
-the same as the specified value <expect> (which is allowed to be
+the same as the specified value `<expect>` (which is allowed to be
different from the remote-tracking branch we have for the refname,
or we do not even have to have such a remote-tracking branch when
this form is used).