summaryrefslogtreecommitdiff
path: root/Documentation/gitremote-helpers.txt
diff options
context:
space:
mode:
authorMatthieu Moy <Matthieu.Moy@imag.fr>2016-06-28 11:40:15 (GMT)
committerJunio C Hamano <gitster@pobox.com>2016-06-28 15:36:45 (GMT)
commit661c3e9bc064564a492281364413dc805eaddf95 (patch)
treeb431c2aeae8d4a17ecafd61fc1e1dc77bbaa04ba /Documentation/gitremote-helpers.txt
parent57103dbf702557abefc7c8c4578145f9383d6e9d (diff)
downloadgit-661c3e9bc064564a492281364413dc805eaddf95.zip
git-661c3e9bc064564a492281364413dc805eaddf95.tar.gz
git-661c3e9bc064564a492281364413dc805eaddf95.tar.bz2
doc: typeset HEAD and variants as literal
This is an application of the newly added CodingGuidelines to HEAD and variants like FETCH_HEAD. It was obtained with: perl -pi -e "s/'([A-Z_]*HEAD)'/\`\$1\`/g" *.txt Signed-off-by: Matthieu Moy <Matthieu.Moy@imag.fr> Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/gitremote-helpers.txt')
-rw-r--r--Documentation/gitremote-helpers.txt2
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/gitremote-helpers.txt b/Documentation/gitremote-helpers.txt
index 53ce1d0..a4de50a 100644
--- a/Documentation/gitremote-helpers.txt
+++ b/Documentation/gitremote-helpers.txt
@@ -298,7 +298,7 @@ Supported if the helper has the "fetch" capability.
is followed by a blank line). For example, the following would
be two batches of 'push', the first asking the remote-helper
to push the local ref 'master' to the remote ref 'master' and
- the local 'HEAD' to the remote 'branch', and the second
+ the local `HEAD` to the remote 'branch', and the second
asking to push ref 'foo' to ref 'bar' (forced update requested
by the '+').
+