git-fetch: do not look into $GIT_DIR/refs to see if a tag exists.

diff --git a/Documentation/git-reset.txt b/Documentation/git-reset.txt
index ebcfe5edb73506df698b594f115bc9390f1dae1f..73a0ffc41085e87fbc996fab4baa25ace1951460 100644 (file)
--- a/Documentation/git-reset.txt
+++ b/Documentation/git-reset.txt
@@ -24,7 +24,7 @@ gitlink:git-revert[1] is your friend.
 OPTIONS
 -------
 --mixed::
-       Resets the index but not the working tree (ie, the changed files
+       Resets the index but not the working tree (i.e., the changed files
        are preserved but not marked for commit) and reports what has not
        been updated. This is the default action.
 
@@ -43,7 +43,7 @@ OPTIONS
        Commit to make the current HEAD.
 
 Examples
-~~~~~~~~
+--------
 
 Undo a commit and redo::
 +