mirror of
https://github.com/prometheus/prometheus.git
synced 2025-10-17 18:41:03 +02:00
No matter how we refactor docs, `/docs/` will stay the prefix, so there's not long-term risk in changing this. One we version docs, we should probably try and keep link & version in sync.