From a351d1402dde775bc646f418cb339db2fe7ad3ac Mon Sep 17 00:00:00 2001 From: Junio C Hamano Date: Sat, 21 Jun 2008 09:40:40 +0000 Subject: [PATCH] Autogenerated HTML docs for v1.5.6-12-g73f03 --- git-push.html | 5 +++-- git-push.txt | 3 ++- 2 files changed, 5 insertions(+), 3 deletions(-) diff --git a/git-push.html b/git-push.html index 156bd35a1..16cd74585 100644 --- a/git-push.html +++ b/git-push.html @@ -342,7 +342,8 @@ nor in any Push line of the corresponding remotes file---see below).

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 @@ -768,7 +769,7 @@ by Linus Torvalds <torvalds@osdl.org>

diff --git a/git-push.txt b/git-push.txt index 89e0049bc..f3d5d883a 100644 --- 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 -- 2.26.2