28d88d1972afc3651b9ff9c7f1e27aa750e42832 - plugins/pull-replication

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

src/main/java/com/googlesource/gerrit/plugins/replication/pull/PullReplicationModule.java[diff]
src/test/java/com/googlesource/gerrit/plugins/replication/pull/PullReplicationITAbstract.java[diff]

2 files changed

tree: 5250b60283069d6229bcc3b26fecd2f76687be0a

example-setup/
src/
.gitignore
BUILD
external_plugin_deps.bzl
Jenkinsfile
LICENSE