Mention post-update when we first talk about publishing a repository.

diff --git a/Documentation/git-http-pull.txt b/Documentation/git-http-pull.txt
index 431ef7cab3cadc94ca86e28c69611ee610a74767..edc5cebf7c177f85f0e630a8d0827f4020e25042 100644 (file)
--- a/Documentation/git-http-pull.txt
+++ b/Documentation/git-http-pull.txt
@@ -23,8 +23,9 @@ Downloads a remote GIT repository via HTTP.
        Get all the objects.
 -v::
        Report what is downloaded.
--w::
-        Writes the commit-id into the filename under $GIT_DIR/refs/ on
+
+-w <filename>::
+        Writes the commit-id into the filename under $GIT_DIR/refs/<filename> on
         the local end after the transfer is complete.
 
 Author