diff options
| author | Andy Whitcroft <apw@shadowen.org> | 2007-11-10 00:32:57 +0100 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2007-11-13 03:22:14 +0100 |
| commit | ff206748158aa54196bde1462ceaf550a5c2440e (patch) | |
| tree | f85a9cb1d317fe488ed341e0165e9c724412061c | |
| parent | Add tests for git push'es mirror mode (diff) | |
| download | git-ff206748158aa54196bde1462ceaf550a5c2440e.tar.xz git-ff206748158aa54196bde1462ceaf550a5c2440e.zip | |
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.txt | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/Documentation/git-push.txt b/Documentation/git-push.txt index e5dd4c1066..3fa5992313 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. |