New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

docs: Add a metrics reference #1856

Closed

lambdanis opened this issue Dec 6, 2023 · 1 comment · Fixed by #2164

Assignees

Labels

area/documentation

Contributor

lambdanis commented Dec 6, 2023

Ideally autogenerated from the metrics definitions.

lambdanis added the area/documentation label

lambdanis self-assigned this

Contributor

christian-2 commented Feb 1, 2024

FYI here is a tool that appears to be in the right ballpark: metrics2docs (from Grafana). I could give it a try.

lambdanis mentioned this issue

Generate metrics reference docs #2124

Closed

lambdanis mentioned this issue

Generate metrics reference docs #2164

Merged

lambdanis closed this as completed in #2164

# for free to join this conversation on GitHub. Already have an account? # to comment