diff options
| author |  Andy Whitcroft <apw@shadowen.org> | 2007-11-09 23:32:57 +0000 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2007-11-12 18:22:14 -0800 |
| commit | ff206748158aa54196bde1462ceaf550a5c2440e (patch) | |
| tree | f85a9cb1d317fe488ed341e0165e9c724412061c /Documentation | |
| parent | Add tests for git push'es mirror mode (diff) | |
| download | tgif-ff206748158aa54196bde1462ceaf550a5c2440e.tar.xz | |
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>
Diffstat (limited to 'Documentation')
| -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. |