| commit | 92369fd0d193a516cbf1c4fb9ac1b0b606e0a773 | [log] [tgz] |
|---|---|---|
| author | Fabio Ponciroli <ponch78@gmail.com> | Fri Dec 27 11:51:16 2019 +0100 |
| committer | Fabio Ponciroli <ponch78@gmail.com> | Fri Dec 27 10:54:24 2019 +0000 |
| tree | ea324ee5aeb133a9bcc2943b5690e202669a1abc | |
| parent | 222e2eb792250104e22bc560fe57d323c5c2bc4c [diff] |
Make sure replication will remove remote branches that are absent locally See https://gerrit.googlesource.com/plugins/replication/+doc/master/src/main/resources/Documentation/config.md#file-1 for more details about the "remote.NAME.mirror" option. Bug: Issue 12104 Change-Id: Ibb0210cb9367a1c33260cbfde520714b97161736
diff --git a/setup_local_env/configs/replication.config b/setup_local_env/configs/replication.config index cf7f66a..ece1b3e 100644 --- a/setup_local_env/configs/replication.config +++ b/setup_local_env/configs/replication.config
@@ -1,6 +1,7 @@ [remote "Replication"] $REPLICATION_URL push = +refs/*:refs/* + mirror = true timeout = 600 rescheduleDelay = 15 replicationDelay = $REPLICATION_DELAY_SEC