diff options
| author | Junio C Hamano <junio@hera.kernel.org> | 2008-06-21 09:40:40 +0000 |
|---|---|---|
| committer | Junio C Hamano <junio@hera.kernel.org> | 2008-06-21 09:40:40 +0000 |
| commit | a351d1402dde775bc646f418cb339db2fe7ad3ac (patch) | |
| tree | 203807c7adfd7e02de29e4346aa507f25278b41f /git-push.txt | |
| parent | 0538b897c32c71b800a56808ce647014e9ae98a8 (diff) | |
| download | git-htmldocs-a351d1402dde775bc646f418cb339db2fe7ad3ac.tar.gz | |
Autogenerated HTML docs for v1.5.6-12-g73f03
Diffstat (limited to 'git-push.txt')
| -rw-r--r-- | git-push.txt | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/git-push.txt b/git-push.txt index 89e0049bc..f3d5d883a 100644 --- a/git-push.txt +++ b/git-push.txt @@ -67,7 +67,8 @@ nor in any Push line of the corresponding remotes file---see below). --mirror:: Instead of naming each ref to push, specifies that all - refs under `$GIT_DIR/refs/heads/` and `$GIT_DIR/refs/tags/` + refs under `$GIT_DIR/refs/` (which includes but is not + limited to `refs/heads/`, `refs/remotes/`, and `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 |