prometheus: Monitor all the mirrors backing our GeoIP mirror

Monitoring just geo.mirror.pkgbuild.com would only monitor the mirror returned for that geographical area, with this commit we monitor all the potential returned mirrors.

Co-authored-by: Evangelos Foutras evangelos@foutrelis.com

Fix #443 (closed)

Can we use hostnames instead of IP addresses? It would produce nicer metrics and be more in line with the regular http check.

Something like the equivalent of:

curl --connect-to "::america.mirror.pkgbuild.com:" "https://geo.mirror.pkgbuild.com" -v -I

added 2 commits

• 7227e2e2 - use hostnames instead of ips
• d60fd923 - remove geo from generic http checks

Compare with previous version

resolved all threads

added 1 commit

• dfcee112 - reuse http_prometheus with geo mappings

Compare with previous version

added 1 commit

• 00980aee - one byte saved

Compare with previous version

added 1 commit

• dc62c40f - magic

Compare with previous version

added 2 commits

• 6fcaf2d9 - magic
• 315de03a - fix leading whitespace

Compare with previous version

added 1 commit

• 7866427f - prometheus: Monitor all the mirrors backing our GeoIP mirror

Compare with previous version

marked this merge request as ready

changed title from Draft: Monitor geo.mirror.pkgbuild.com properly to prometheus: Monitor all the mirrors backing our GeoIP mirror

changed the description

added 1 commit

• c5c88710 - magic

Compare with previous version

added 1 commit

• 274c9665 - magic

Compare with previous version

added 1 commit

• 1ee10197 - code golfing

Compare with previous version

added 1 commit

• 7087c9f4 - prometheus: Monitor all the mirrors backing our GeoIP mirror

Compare with previous version

merged

mentioned in commit 75f90dbf