summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAndy Whitcroft <apw@shadowen.org>2007-11-09 23:32:57 (GMT)
committerJunio C Hamano <gitster@pobox.com>2007-11-13 02:22:14 (GMT)
commitff206748158aa54196bde1462ceaf550a5c2440e (patch)
treef85a9cb1d317fe488ed341e0165e9c724412061c
parent8e806adb65dc4a0df91a0ebd54b76bb24ff1263e (diff)
downloadgit-ff206748158aa54196bde1462ceaf550a5c2440e.zip
git-ff206748158aa54196bde1462ceaf550a5c2440e.tar.gz
git-ff206748158aa54196bde1462ceaf550a5c2440e.tar.bz2
git-push: add documentation for the newly added --mirror mode
Add some basic documentation on the --mirror mode for git-push. Signed-off-by: Andy Whitcroft <apw@shadowen.org> Signed-off-by: Junio C Hamano <gitster@pobox.com>
-rw-r--r--Documentation/git-push.txt8
1 files changed, 8 insertions, 0 deletions
diff --git a/Documentation/git-push.txt b/Documentation/git-push.txt
index e5dd4c1..3fa5992 100644
--- a/Documentation/git-push.txt
+++ b/Documentation/git-push.txt
@@ -63,6 +63,14 @@ the remote repository.
Instead of naming each ref to push, specifies that all
refs under `$GIT_DIR/refs/heads/` be pushed.
+\--mirror::
+ Instead of naming each ref to push, specifies that all
+ refs under `$GIT_DIR/refs/heads/` and `$GIT_DIR/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
+ will be removed from the remote end.
+
\--dry-run::
Do everything except actually send the updates.