| commit | 28d88d1972afc3651b9ff9c7f1e27aa750e42832 | [log] [tgz] |
|---|---|---|
| author | Luca Milanesio <luca.milanesio@gmail.com> | Thu Aug 31 22:26:20 2023 +0100 |
| committer | Luca Milanesio <luca.milanesio@gmail.com> | Thu Aug 31 23:37:36 2023 +0100 |
| tree | 5250b60283069d6229bcc3b26fecd2f76687be0a | |
| parent | 69f2518379c203aa75982e24e0e48f8c244a0ed9 [diff] |
Fix pull replication queue metric prefix Use the plugin-injected MetricMaker for generating the metrics for the pull replication queue, otherwise all the metrics are generated without the plugin prefix, making them harder to discover. Change-Id: I74335a4a4d85060ac0e484fae62f515661282085