services/monitoring: scrape Gerrit's metrics

lukegb commented

2024-07-13 18:48:44 +00:00

Member

Gerrit's metrics require a metrics plugin, so we add one to our Gerrit configuration. The plugin then wants to only expose the metrics if you have a bearer token, so I add one of those to the config. Additionally, the plugin's servlet is mounted under a specific subpath. This means that we need some machinery to add extra scrape config to the grafana-agent config, and also to then be able to have collectors specify additional secrets.

After all that, I want a snack.

Gerrit's metrics require a metrics plugin, so we add one to our Gerrit configuration. The plugin then wants to only expose the metrics if you have a bearer token, so I add one of those to the config. Additionally, the plugin's servlet is mounted under a specific subpath. This means that we need some machinery to add extra scrape config to the grafana-agent config, and also to then be able to have collectors specify additional secrets. After all that, I want a snack.

lukegb added 4 commits 2024-07-13 18:48:47 +00:00

gitignore: add secrets (but not encrypted secrets) to gitignore 4f647de4c5

secrets: add gerrit-prometheus-bearer-token 5f033a5818

services/gerrit: add metrics-prometheus-exporter 48e17163c8

services/monitoring: add scraping of Gerrit's internal metrics 309d54e7b0

k900 merged commit e3e60a5e72 into main

2024-07-15 11:02:58 +00:00

services/monitoring: scrape Gerrit's metrics #63