tree 548e7a9d6b951010b57988a1e10e4637fc5a96e3
parent 9b3bdbe9fec33e79fa59743ffc88d5394e59c5c7
author Marcin Czech <maczech@gmail.com> 1631283785 +0200
committer Marcin Czech <maczech@gmail.com> 1632309307 +0200

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