diff options
| author | Junio C Hamano <gitster@pobox.com> | 2019-04-22 12:38:39 +0900 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2019-04-22 12:38:39 +0900 |
| commit | b551377cb5b53a9d5872eeaa46cd5b3a0a661435 (patch) | |
| tree | e9b56aec3e6abf5746d842678d8fa88b01472e8d /git-rev-parse.html | |
| parent | 6b7d215a58fcad73e1d989b5767c9d3b2ba6608b (diff) | |
| download | git-htmldocs-b551377cb5b53a9d5872eeaa46cd5b3a0a661435.tar.gz | |
Autogenerated HTML docs for v2.21.0-498-g14c0f8
Diffstat (limited to 'git-rev-parse.html')
| -rw-r--r-- | git-rev-parse.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/git-rev-parse.html b/git-rev-parse.html index 197c181c9..84cc96927 100644 --- a/git-rev-parse.html +++ b/git-rev-parse.html @@ -1360,7 +1360,7 @@ when you run <code>git merge</code>. <code>CHERRY_PICK_HEAD</code> records the commit which you are cherry-picking
when you run <code>git cherry-pick</code>.</p></div>
<div class="paragraph"><p>Note that any of the <em>refs/*</em> cases above may come either from
-the <em>$GIT_DIR/refs</em> directory or from the <em>$GIT_DIR/packed-refs</em> file.
+the <code>$GIT_DIR/refs</code> directory or from the <code>$GIT_DIR/packed-refs</code> file.
While the ref name encoding is unspecified, UTF-8 is preferred as
some output processing may assume ref names in UTF-8.</p></div>
</li>
@@ -1446,7 +1446,7 @@ some output processing may assume ref names in UTF-8.</p></div> <code>git push</code> were run while <code>branchname</code> was checked out (or the current
<code>HEAD</code> if no branchname is specified). Since our push destination is
in a remote repository, of course, we report the local tracking branch
- that corresponds to that branch (i.e., something in <em>refs/remotes/</em>).
+ that corresponds to that branch (i.e., something in <code>refs/remotes/</code>).
</p>
<div class="paragraph"><p>Here’s an example to make it more clear:</p></div>
<div class="listingblock">
|