Add prometheus.openstreetmap.org

diff --git a/src/openstreetmap.js b/src/openstreetmap.js
index 859180a3fed7feb595127f42b83074d250181831..d57aae330d685686fc129243d6be79cfd9f65a86 100644 (file)
--- a/src/openstreetmap.js
+++ b/src/openstreetmap.js
@@ -319,6 +319,10 @@ D(DOMAIN, REGISTRAR, DnsProvider(PROVIDER),
   A("urmel.ucl", URMEL_INTERNAL),
   A("urmel.oob", URMEL_OOB),
 
+  // Prometheus server
+
+  A("prometheus", TIAMAT11_IPV4),
+
   // Chef server
 
   A("sarel", SAREL_IPV4),