Allow using pull-replication on replica nodes

Gerrit replica nodes do not bind the REST-API servlet: the
standard binding of the pull-replication API would not work
at all.

Define on replica node a special servlet filter that is
filtering exactly the pull-replication API and serves exactly
the same content in the same way.

Bug: Issue 14982
Change-Id: Ifa148c4865527b67260e7d4bb1c91d1472512af9
6 files changed
tree: 548e7a9d6b951010b57988a1e10e4637fc5a96e3
  1. src/
  2. BUILD
  3. Jenkinsfile
  4. LICENSE