diff options
| author | Junio C Hamano <gitster@pobox.com> | 2008-05-06 04:15:39 +0200 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2008-05-06 04:15:39 +0200 |
| commit | dc484f2213a34ced5abe5eb968650035204b6035 (patch) | |
| tree | 1e1d0d7563cc91bd52ffcb895b9f21a0ed2607c8 /Documentation/git-push.txt | |
| parent | post-merge: Add it's not executed if merge failed. (diff) | |
| parent | Add a remote.*.mirror configuration option (diff) | |
| download | git-dc484f2213a34ced5abe5eb968650035204b6035.tar.xz git-dc484f2213a34ced5abe5eb968650035204b6035.zip | |
Merge branch 'pb/remote-mirror-config'
* pb/remote-mirror-config:
Add a remote.*.mirror configuration option
Diffstat (limited to 'Documentation/git-push.txt')
| -rw-r--r-- | Documentation/git-push.txt | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Documentation/git-push.txt b/Documentation/git-push.txt index 0585949137..f06d94e318 100644 --- a/Documentation/git-push.txt +++ b/Documentation/git-push.txt @@ -70,7 +70,9 @@ the remote repository. 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. + will be removed from the remote end. This is the default + if the configuration option `remote.<remote>.mirror` is + set. \--dry-run:: Do everything except actually send the updates. |