Metrics

To gather metrics we are currently using mostly Prometheus.

Also see: metrics.wikimedia.org, Performance/Metrics and all other pages in Category:Metrics.