diff options
| author | Paolo Bonzini <bonzini@gnu.org> | 2008-04-17 13:17:20 +0200 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2008-04-20 18:49:22 -0700 |
| commit | 84bb2dfd9f4873c9ca19537efe62219b09ec03bf (patch) | |
| tree | 4490819e5489268b9fc9b9eec3da8ec87c8774fa /Documentation/git-push.txt | |
| parent | 5909ca92d8b2c6a0534597f52f7733ff61a64d63 (diff) | |
| download | git-84bb2dfd9f4873c9ca19537efe62219b09ec03bf.tar.gz | |
Add a remote.*.mirror configuration option
This patch adds a remote.*.mirror configuration option that,
when set, automatically puts git-push in --mirror mode for that
remote.
Furthermore, the option is set automatically by `git remote
add --mirror'.
The code in remote.c to parse remote.*.skipdefaultupdate
had a subtle problem: a comment in the code indicated that
special care was needed for boolean options, but this care was
not used in parsing the option. Since I was touching related
code, I did this fix too.
[jc: and I further fixed up the "ignore boolean" code.]
Signed-off-by: Paolo Bonzini <bonzini@gnu.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
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 3128170bcd..dc1d4b0b64 100644 --- a/Documentation/git-push.txt +++ b/Documentation/git-push.txt @@ -69,7 +69,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. |