aboutsummaryrefslogtreecommitdiff
path: root/Documentation
diff options
context:
space:
mode:
authorShawn O. Pearce <spearce@spearce.org>2008-06-20 23:25:25 -0400
committerJunio C Hamano <gitster@pobox.com>2008-06-21 00:02:45 -0700
commit73f03627f4f1b0f66b30fa96a25537f3600cce0b (patch)
treec036049758751f5fe43d2ec862c63877d711a180 /Documentation
parentfbd458a3f6bf2ba94380e2170ebfe2f53c2dec6d (diff)
downloadgit-73f03627f4f1b0f66b30fa96a25537f3600cce0b.tar.gz
git-73f03627f4f1b0f66b30fa96a25537f3600cce0b.tar.xz
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 <marek.zawirski@gmail.com> Signed-off-by: Shawn O. Pearce <spearce@spearce.org> Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation')
-rw-r--r--Documentation/git-push.txt3
1 files changed, 2 insertions, 1 deletions
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