gitweb setup instruction: rewrite HEAD and root as well

diff --git a/Documentation/git-push.txt b/Documentation/git-push.txt
index 7d31263aa213e943bea1a0c0ef4bd3fff583322d..9d8c379717f2618746fc32baa84a771160e8364a 100644 (file)
--- a/Documentation/git-push.txt
+++ b/Documentation/git-push.txt
@@ -71,7 +71,9 @@ nor in any Push line of the corresponding remotes file---see below).
        be mirrored to the remote repository.  Newly created local
        refs will be pushed to the remote end, locally updated refs
        will be force updated on the remote end, and deleted refs
-       will be removed from the remote end.
+       will be removed from the remote end.  This is the default
+       if the configuration option `remote.<remote>.mirror` is
+       set.
 
 \--dry-run::
        Do everything except actually send the updates.
@@ -198,4 +200,4 @@ Documentation by Junio C Hamano and the git-list <git@vger.kernel.org>.
 
 GIT
 ---
-Part of the linkgit:git[7] suite
+Part of the linkgit:git[1] suite