path: root/Documentation/gitremote-helpers.txt
diff options
authorMatthieu Moy <>2016-06-28 11:40:15 (GMT)
committerJunio C Hamano <>2016-06-28 15:36:45 (GMT)
commit661c3e9bc064564a492281364413dc805eaddf95 (patch)
treeb431c2aeae8d4a17ecafd61fc1e1dc77bbaa04ba /Documentation/gitremote-helpers.txt
parent57103dbf702557abefc7c8c4578145f9383d6e9d (diff)
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 <> Signed-off-by: Junio C Hamano <>
Diffstat (limited to 'Documentation/gitremote-helpers.txt')
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 '+').