From b1e38febcb3f6fc135422da6068c6fbe58a0f5e0 Mon Sep 17 00:00:00 2001
From: Tom Hughes <tom@compton.nu>
Date: Tue, 15 Sep 2020 20:56:37 +0100
Subject: [PATCH 1/1] Add prometheus.openstreetmap.org

---
 src/openstreetmap.js | 4 ++++
 1 file changed, 4 insertions(+)

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),
-- 
2.39.5