Add HEAD update REST API endpoint

Replace direct call to the Gerrit Set HEAD REST API endpoint with
the call to the pull-replication REST API. This allows to add some
custom logic.

Bug: Issue 15396
Change-Id: I864143dd8798d22e1861869e98394f758e7309ee
3 files changed
tree: 5277b091a19a54fb889db8ffa51eb37c0517fa41
  1. src/
  2. BUILD
  3. Jenkinsfile