Another thing that just came up with a coworker: It would be great if the bottom of each page had a link to the source file of that page. Instead, it links to https://github.com/prometheus/docs#contributing-changes , which explains how to find the sources. However, it is still confusing, especially for the prometheus/prometheus server. The contribution guide mentions that, but it's like a treasure hunt...
-- Björn Rabenstein [PGP-ID] 0x851C3DA17D748D03 [email] [email protected] -- You received this message because you are subscribed to the Google Groups "Prometheus Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/prometheus-users/20200407221628.GD3337%40jahnn.
