diff options
| author | Frederic Branczyk <fbranczyk@gmail.com> | 2019-09-09 13:27:18 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-09-09 13:27:18 +0200 |
| commit | 9dc669aedcc65c40d71194e7871b6f781bf12433 (patch) | |
| tree | a9e32e6065775f038a063f628da7952c44df6720 | |
| parent | 5f9d71e8cf72fe4ecf483750d63594360c6710c6 (diff) | |
Update instrumentation.md
| -rw-r--r-- | contributors/devel/sig-instrumentation/instrumentation.md | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/contributors/devel/sig-instrumentation/instrumentation.md b/contributors/devel/sig-instrumentation/instrumentation.md index b0a11193..266c1664 100644 --- a/contributors/devel/sig-instrumentation/instrumentation.md +++ b/contributors/devel/sig-instrumentation/instrumentation.md @@ -90,7 +90,8 @@ apply additionally. ## Naming -Metrics added directly by application or package code should have a unique name. +General [metric and label naming apply](https://prometheus.io/docs/practices/naming/), +beyond that, metrics added directly by application or package code should have a unique name. This avoids collisions of metrics added via dependencies. They also clearly distinguish metrics collected with different semantics. This is solved through prefixes: |