diff options
| author | Junio C Hamano <junio@hera.kernel.org> | 2007-11-25 04:56:07 +0000 |
|---|---|---|
| committer | Junio C Hamano <junio@hera.kernel.org> | 2007-11-25 04:56:07 +0000 |
| commit | 9d2bbb7471fa86953ae8d1c1af44e19f3e9f83cc (patch) | |
| tree | b70dcfe5e02f31bbd79b4416b9b96236c4f67407 /git-push.txt | |
| parent | a097054ab4307376d022502b3aaf286cf7148838 (diff) | |
| download | git-htmldocs-9d2bbb7471fa86953ae8d1c1af44e19f3e9f83cc.tar.gz | |
Autogenerated HTML docs for v1.5.3.6-950-g92b7b
Diffstat (limited to 'git-push.txt')
| -rw-r--r-- | git-push.txt | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/git-push.txt b/git-push.txt index 4a68aaba3..b8003c63c 100644 --- a/git-push.txt +++ b/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. |