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
tree: d152651373eb4f8083162e3c68703efe655a9450
  1. .gitignore
  2. .settings/
  3. BUCK
  4. LICENSE
  5. src/