tree 62fc5989320bbb8909206500bf5f3d6d547b1aed
parent 2d35fb8d91e05e086615998deec6407bceeda248
author Luca Milanesio <luca.milanesio@gmail.com> 1697848427 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1698257054 +0000

Allow keeping custom configs in FanoutReplicationConfig

Some of the replication plugin default choices may not be suitable
for users of GitHub that need some specific replication settings.

Historically the defaults of the replication plugin were not suitable
for pushing to a non-Gerrit repository, hence the fragility of
generating and assuming defaults.

With this change, allow to keep any ad-hoc customisation on the
generated replication configuration files.

Change-Id: Ic451e934b1f8ef062c502eaad3c3f1bf63813556