diff options
author | Matthieu Moy <Matthieu.Moy@imag.fr> | 2016-06-28 13:40:15 +0200 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2016-06-28 08:36:45 -0700 |
commit | 661c3e9bc064564a492281364413dc805eaddf95 (patch) | |
tree | b431c2aeae8d4a17ecafd61fc1e1dc77bbaa04ba /Documentation/git-branch.txt | |
parent | 57103dbf702557abefc7c8c4578145f9383d6e9d (diff) | |
download | git-661c3e9bc064564a492281364413dc805eaddf95.tar.gz |
doc: typeset HEAD and variants as literalmm/doc-tt
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/git-branch.txt')
-rw-r--r-- | Documentation/git-branch.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Documentation/git-branch.txt b/Documentation/git-branch.txt index 123144fe8a..1fe73448f3 100644 --- a/Documentation/git-branch.txt +++ b/Documentation/git-branch.txt @@ -39,10 +39,10 @@ named commit). With `--merged`, only branches merged into the named commit (i.e. the branches whose tip commits are reachable from the named commit) will be listed. With `--no-merged` only branches not merged into the named commit will be listed. If the <commit> argument is missing it -defaults to 'HEAD' (i.e. the tip of the current branch). +defaults to `HEAD` (i.e. the tip of the current branch). The command's second form creates a new branch head named <branchname> -which points to the current 'HEAD', or <start-point> if given. +which points to the current `HEAD`, or <start-point> if given. Note that this will create the new branch, but it will not switch the working tree to it; use "git checkout <newbranch>" to switch to the |