Skip to content

Change metric name

Josef Němec requested to merge fix/metric-name into master

Change name of metrics pushed to prometheus gateway to standardized way.

Merge request reports