diff options
| author | Andy Whitcroft <apw@shadowen.org> | 2007-11-10 02:32:57 +0300 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2007-11-13 05:22:14 +0300 |
| commit | ff206748158aa54196bde1462ceaf550a5c2440e (patch) | |
| tree | f85a9cb1d317fe488ed341e0165e9c724412061c /Documentation/git-push.txt | |
| parent | 8e806adb65dc4a0df91a0ebd54b76bb24ff1263e (diff) | |
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/git-push.txt')
| -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. |