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

diff --git a/Documentation/git-local-pull.txt b/Documentation/git-local-pull.txt
index 53f5d3968216044d35151c5f6e56285274e3a574..4651e81581962d2dfd94dc6cd66a551fe7aec4ee 100644 (file)
--- a/Documentation/git-local-pull.txt
+++ b/Documentation/git-local-pull.txt
@@ -9,7 +9,7 @@ git-local-pull - Duplicates another GIT repository on a local system
 
 SYNOPSIS
 --------
-'git-local-pull' [-c] [-t] [-a] [-l] [-s] [-n] [-v] commit-id path
+'git-local-pull' [-c] [-t] [-a] [-d] [-v] [-w filename] [--recover] [-l] [-s] [-n] commit-id path
 
 DESCRIPTION
 -----------
@@ -26,9 +26,13 @@ OPTIONS
 -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
 ------
-Written by Linus Torvalds <torvalds@osdl.org>
+Written by Junio C Hamano <junkio@cox.net>
 
 Documentation
 --------------