tree ea324ee5aeb133a9bcc2943b5690e202669a1abc
parent 222e2eb792250104e22bc560fe57d323c5c2bc4c
author Fabio Ponciroli <ponch78@gmail.com> 1577443876 +0100
committer Fabio Ponciroli <ponch78@gmail.com> 1577444064 +0000

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