Merge branch 'stable-2.9' into stable-2.10 * stable-2.9: Prevent creating repos on extra servers Conflicts: src/main/java/com/googlesource/gerrit/plugins/replication/Destination.java Change-Id: I5934d118a72dd249b17b7f381aa3081ef58aa09d