Link to metrics documentation from 2.13 release notes
Change-Id: I6723e2392af44230468cbe6bf5611cce2f767f2d
diff --git a/ReleaseNotes/ReleaseNotes-2.13.txt b/ReleaseNotes/ReleaseNotes-2.13.txt
index d4155b1..df0e2cb 100644
--- a/ReleaseNotes/ReleaseNotes-2.13.txt
+++ b/ReleaseNotes/ReleaseNotes-2.13.txt
@@ -82,23 +82,6 @@
Metrics about Gerrit's internal state can be sent to external
monitoring systems.
-The following metrics are supported:
-
-* HTTP responses
-+
-TODO details here and in the others
-
-* REST API calls
-
-* SSH sessions
-
-* Caches
-
-* SQL connections
-
-* TODO add more
-
-
Plugins can provide implementations of the metrics interface to
report metrics to different monitoring systems. The following
plugins are available:
@@ -112,15 +95,10 @@
* link:https://gerrit-review.googlesource.com/#/admin/projects/plugins/metrics-reporter-elasticsearch[
Elasticsearch]
+Plugins can also provide their own metrics.
-Plugins can also provide metrics. The following metrics are provided
-by the replication plugin:
-
-* Replication latency
-
-* Replication delay
-
-* Replication retry
+See the link:https://gerrit-documentation.storage.googleapis.com/Documentation/2.13/metrics.html[
+metrics documentation] for further details.
=== Hooks
