From: Tom Hughes <tom@compton.nu>
Date: Thu, 6 Oct 2022 19:45:19 +0000 (+0100)
Subject: Make idris a management server
X-Git-Url: https://git.openstreetmap.org./dns.git/commitdiff_plain/6e91e0ddb480ce6b78009913633934b288fd30ef

Make idris a management server
---

diff --git a/src/openstreetmap.js b/src/openstreetmap.js
index 82b15b5..061c2a9 100644
--- a/src/openstreetmap.js
+++ b/src/openstreetmap.js
@@ -488,7 +488,7 @@ D(DOMAIN, REGISTRAR, DnsProvider(PROVIDER),
   AAAA("prometheus", STORMFLY03_IPV6, TTL("10m")),
   A("stormfly-03.oob", STORMFLY03_OOB),
 
-  // Chef server
+  // Management server
 
   A("sarel", SAREL_IPV4),
   A("chef", SAREL_IPV4),
@@ -499,6 +499,11 @@ D(DOMAIN, REGISTRAR, DnsProvider(PROVIDER),
   A("sarel.ucl", SAREL_INTERNAL),
   A("sarel.oob", SAREL_OOB),
 
+  A("idris", IDRIS_IPV4),
+  AAAA("idris", IDRIS_IPV6),
+  A("idris.dub", IDRIS_INTERNAL),
+  A("idris.oob", IDRIS_OOB),
+
   // Forum server
 
   A("clifford", CLIFFORD_IPV4),
@@ -664,10 +669,6 @@ D(DOMAIN, REGISTRAR, DnsProvider(PROVIDER),
 
   // Spare
 
-  A("idris", IDRIS_IPV4),
-  AAAA("idris", IDRIS_IPV6),
-  A("idris.dub", IDRIS_INTERNAL),
-  A("idris.oob", IDRIS_OOB),
   A("konqi", KONQI_IPV4),
   AAAA("konqi", KONQI_IPV6),
   A("konqi.dub", KONQI_INTERNAL),