prometheus/docs

Naming conventions: Refine the recommendations.

beorn7 opened this issue · 3 comments

prometheus/prometheus#8718 discusses "misnamed" metrics and comes to the conclusion that their names are actually fine and we should improve the recommendations for naming metrics to match the actually existing "fine" metric names.

So the task here is to turn the discussion in prometheus/prometheus#8718 into changes of the metric naming best practices page.