From 6e91e0ddb480ce6b78009913633934b288fd30ef Mon Sep 17 00:00:00 2001
From: Tom Hughes <tom@compton.nu>
Date: Thu, 6 Oct 2022 20:45:19 +0100
Subject: [PATCH] Make idris a management server

---
 src/openstreetmap.js | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

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