From: Tom Hughes <tom@compton.nu>
Date: Tue, 15 Sep 2020 19:56:37 +0000 (+0100)
Subject: Add prometheus.openstreetmap.org
X-Git-Url: https://git.openstreetmap.org./dns.git/commitdiff_plain/b1e38febcb3f6fc135422da6068c6fbe58a0f5e0

Add prometheus.openstreetmap.org
---

diff --git a/src/openstreetmap.js b/src/openstreetmap.js
index 859180a..d57aae3 100644
--- 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),