Autogenerated HTML docs for v1.5.6-12-g73f03

diff --git a/git-push.html b/git-push.html
index 156bd35a11292e80aa26a104dd0f2aafdec08a5e..16cd745854adf8403206d0341a07b8ea7132f262 100644 (file)
--- a/git-push.html
+++ b/git-push.html
@@ -342,7 +342,8 @@ nor in any Push line of the corresponding remotes file---see below).</p>
 <dd>\r
 <p>\r
         Instead of naming each ref to push, specifies that all\r
-        refs under <tt>$GIT_DIR/refs/heads/</tt> and <tt>$GIT_DIR/refs/tags/</tt>\r
+        refs under <tt>$GIT_DIR/refs/</tt> (which includes but is not\r
+        limited to <tt>refs/heads/</tt>, <tt>refs/remotes/</tt>, and <tt>refs/tags/</tt>)\r
         be mirrored to the remote repository.  Newly created local\r
         refs will be pushed to the remote end, locally updated refs\r
         will be force updated on the remote end, and deleted refs\r
@@ -768,7 +769,7 @@ by Linus Torvalds &lt;torvalds@osdl.org&gt;</p>
 </div>\r
 <div id="footer">\r
 <div id="footer-text">\r
-Last updated 08-Jun-2008 22:46:55 UTC\r
+Last updated 21-Jun-2008 09:40:20 UTC\r
 </div>\r
 </div>\r
 </body>\r

diff --git a/git-push.txt b/git-push.txt
index 89e0049bce1367f308c58d3306266f93a6cd7b75..f3d5d883a7e4e42c47670eeeef41799b1cb0c228 100644 (file)
--- a/git-push.txt
+++ b/git-push.txt
@@ -67,7 +67,8 @@ nor in any Push line of the corresponding remotes file---see below).
 
 --mirror::
        Instead of naming each ref to push, specifies that all
-       refs under `$GIT_DIR/refs/heads/` and `$GIT_DIR/refs/tags/`
+       refs under `$GIT_DIR/refs/` (which includes but is not
+       limited to `refs/heads/`, `refs/remotes/`, and `refs/tags/`)
        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