diff options
| author | John Keeping <john@keeping.me.uk> | 2016-07-25 22:59:55 +0100 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2016-07-25 15:21:32 -0700 |
| commit | d132b32b4e3146e4aa5a719418f85d6db1134140 (patch) | |
| tree | 88d5683d2e1bface4430eed8bbb03849213d07d8 | |
| parent | 50b4a7807f5f1db79a0a4f4400c29bc00efbd307 (diff) | |
| download | git-d132b32b4e3146e4aa5a719418f85d6db1134140.tar.gz | |
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>
| -rw-r--r-- | Documentation/git-push.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/git-push.txt b/Documentation/git-push.txt index af521f8990..5355a8d54a 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). |