update-index: do not die too early in a read-only repository.

diff --git a/Documentation/git-http-push.txt b/Documentation/git-http-push.txt
index 7e1f894a92f396e3354c94c9ce3339edc37b59df..4b4a46169c79b90e22f5bde0b26888761c28c9c4 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 objects over HTTP/DAV to another repository
 
 
 SYNOPSIS
@@ -34,7 +34,7 @@ OPTIONS
        Report the list of objects being walked locally and the
        list of objects successfully sent to the remote repository.
 
-<ref>...:
+<ref>...::
        The remote refs to update.