[PATCH] Add some simple howtos, culled from the mailing list.

diff --git a/Documentation/git-http-pull.txt b/Documentation/git-http-pull.txt
index e4b7b3789eec56444b782e8ba7a46bf87e7749e1..edc5cebf7c177f85f0e630a8d0827f4020e25042 100644 (file)
--- a/Documentation/git-http-pull.txt
+++ b/Documentation/git-http-pull.txt
@@ -9,7 +9,7 @@ git-http-pull - Downloads a remote GIT repository via HTTP
 
 SYNOPSIS
 --------
-'git-http-pull' [-c] [-t] [-a] [-v] [-d] [--recover] commit-id url
+'git-http-pull' [-c] [-t] [-a] [-d] [-v] [-w filename] [--recover] commit-id url
 
 DESCRIPTION
 -----------
@@ -21,16 +21,12 @@ Downloads a remote GIT repository via HTTP.
        Get trees associated with the commit objects.
 -a::
        Get all the objects.
--d::
-       Do not check for delta base objects (use this option
-       only when you know the remote repository is not
-       deltified).
---recover::
-       Check dependency of deltified object more carefully than
-       usual, to recover after earlier pull that was interrupted.
 -v::
        Report what is downloaded.
 
+-w <filename>::
+        Writes the commit-id into the filename under $GIT_DIR/refs/<filename> on
+        the local end after the transfer is complete.
 
 Author
 ------