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

diff --git a/Documentation/git-http-push.txt b/Documentation/git-http-push.txt
index c7066d66f3cd2bed5cbfebe2bdcc288baeb6669b..7e1f894a92f396e3354c94c9ce3339edc37b59df 100644 (file)
--- a/Documentation/git-http-push.txt
+++ b/Documentation/git-http-push.txt
@@ -3,7 +3,7 @@ git-http-push(1)
 
 NAME
 ----
-git-http-push - Push missing objects using HTTP/DAV.
+git-http-push - Push missing objects using HTTP/DAV
 
 
 SYNOPSIS