From: Tom Hughes <tom@compton.nu>
Date: Sat, 8 Oct 2022 14:44:35 +0000 (+0100)
Subject: Point acme.openstreetmap.org at idris
X-Git-Url: https://git.openstreetmap.org/dns.git/commitdiff_plain/30c01cffc4d6a65c2545478696e3168d1463fc50

Point acme.openstreetmap.org at idris
---

diff --git a/src/openstreetmap.js b/src/openstreetmap.js
index 071a714..083353a 100644
--- a/src/openstreetmap.js
+++ b/src/openstreetmap.js
@@ -492,7 +492,6 @@ D(DOMAIN, REGISTRAR, DnsProvider(PROVIDER),
 
   A("sarel", SAREL_IPV4),
   A("chef", SAREL_IPV4),
-  A("acme", SAREL_IPV4),
   A("git", SAREL_IPV4, TTL("10m")),
   A("dns", SAREL_IPV4, TTL("10m")),
   A("sarel.ucl", SAREL_INTERNAL),
@@ -500,6 +499,8 @@ D(DOMAIN, REGISTRAR, DnsProvider(PROVIDER),
 
   A("idris", IDRIS_IPV4),
   AAAA("idris", IDRIS_IPV6),
+  A("acme", IDRIS_IPV4),
+  AAAA("acme", IDRIS_IPV6),
   A("hardware", IDRIS_IPV4),
   AAAA("hardware", IDRIS_IPV6),
   A("idris.dub", IDRIS_INTERNAL),