From: Shawn O. Pearce Date: Sat, 21 Jun 2008 03:25:25 +0000 (-0400) Subject: Correct documentation for git-push --mirror X-Git-Tag: v1.6.0-rc0~239 X-Git-Url: https://git.tokkee.org/?a=commitdiff_plain;h=73f03627f4f1b0f66b30fa96a25537f3600cce0b;p=git.git Correct documentation for git-push --mirror This option behaves more like: git push $url +refs/*:refs/* than it does like: git push $url +refs/heads/*:refs/heads/* +refs/tags/*:refs/tags/* so we should document it to be more clear about that. Suggested-by: Marek Zawirski Signed-off-by: Shawn O. Pearce Signed-off-by: Junio C Hamano --- diff --git a/Documentation/git-push.txt b/Documentation/git-push.txt index 89e0049bc..f3d5d883a 100644 --- a/Documentation/git-push.txt +++ b/Documentation/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