tree 1f26a4bc83a0b0738490eed831abb8d3826bb7e0
parent 38b550a4b8af8297b23d88388f790210eee3ab17
author Luca Milanesio <luca.milanesio@gmail.com> 1686869842 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1686952893 +0000

Introduce globalrefdb update-ref command

Allow the Gerrit admin to update refs on the global-refdb
in the same way he can update refs on the local one, using
a command similar to 'git update-ref'.

This allows to resolve split-brains situations with a
simple command line, without having to connect directly
to the global-refdb implementation console backend.

Change-Id: Ice02d4faa08ac3c275eb241d3a8249e46bede516