tree 687815756d475bf824ecb99d2b855af4ac76c399
parent 55dba57a35ad9340cd1633ae792281481fa00852
author Luca Milanesio <luca.milanesio@gmail.com> 1688077310 +0100
committer Daniele Sassoli <danielesassoli@gmail.com> 1689977905 -0700

New script utility to extract local-refdb metrics

When working in a multi-node setup, having local metrics
to compare the status of repositories across nodes is paramount
for getting alerts on potential misalignments.

Change-Id: Icd4030f3561f1b9eb0500575d85499159e9faf3f