documentationgood first issue
Repository metrics
- Stars
- (32,149 stars)
- PR merge metrics
- (Avg merge 2d 6h) (155 merged PRs in 30d)
Description
Motivation
When metric counters are created, they need a name string and a description string. The description is used as a help message, and should describe the metric in plain English. However, there are many metrics that use very similar strings for the names and the descriptions, which make the help message practically useless.
Here is an example: https://github.com/linera-io/linera-protocol/blob/589ddefa8cbafc731952bcab0b5c5c3150949111/linera-chain/src/chain.rs#L68-L69
Proposal
Go through all created metrics and ensure they have helpful and clear descriptions.