commit 56229365c6ca556bef7b92f1b2bd1eaf0d51b134
author Edwin Kempin <ekempin@google.com> Wed Mar 21 13:26:37 2018 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> Wed Mar 21 13:26:37 2018 +0000
tree 2a0d77a30df9d2a37a59840eef7b65f4d0037f33
parent 26e3c95c89577740cef9fb741680af39c8a0bc80
parent d89a9f118cacc4c6e3307fe47fc160bd25240994

Merge "Add metrics-reporter-prometheus plugin"

Documentation/config-plugins.txt

diff --git a/Documentation/config-plugins.txt b/Documentation/config-plugins.txt
index c5f1457..29f3273 100644
--- a/Documentation/config-plugins.txt
+++ b/Documentation/config-plugins.txt
@@ -452,6 +452,14 @@
 link:https://gerrit-review.googlesource.com/#/admin/projects/plugins/metrics-reporter-jmx[
 Project].
 
+[[metrics-reporter-prometheus]]
+=== metrics-reporter-prometheus
+
+This plugin exposes Gerrit metrics for consumption by Prometheus.
+
+link:https://gerrit-review.googlesource.com/#/admin/projects/plugins/metrics-reporter-prometheus[
+Project].
+
 [[motd]]
 === motd