tree 5277b091a19a54fb889db8ffa51eb37c0517fa41
parent fc4b9fde9166bf238f915ed766a53b8c7cc7c3dc
author Marcin Czech <maczech@gmail.com> 1639503553 +0100
committer Marcin Czech <maczech@gmail.com> 1639503766 +0100

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