Add ridley.oob to DNS

[dns.git] / src / openstreetmap

diff --git a/src/openstreetmap b/src/openstreetmap
index 95705924ac51fb79aae9ec80dd374018cb66be91..6de49370027f14d0f06c7351fdc87c5bfec19338 100644 (file)
--- a/src/openstreetmap
+++ b/src/openstreetmap
@@ -124,7 +124,6 @@ Cc.tile.openstreetmap:tile.geo.openstreetmap.org:600
 
 +horntail.openstreetmap:193.63.75.101
 +planet.openstreetmap:193.63.75.101
-+munin.openstreetmap:193.63.75.101
 +apt.openstreetmap:193.63.75.101
 +stats.openstreetmap:193.63.75.101
 +chef.openstreetmap:193.63.75.101
@@ -168,6 +167,7 @@ Cc.tile.openstreetmap:tile.geo.openstreetmap.org:600
 +foundation.openstreetmap:128.40.168.102
 +tickets.openstreetmap:128.40.168.102
 +ridley.ucl.openstreetmap:10.0.0.3
++ridley.oob.openstreetmap:10.0.1.3
 
 # Piwik server
 
@@ -186,10 +186,15 @@ Cc.tile.openstreetmap:tile.geo.openstreetmap.org:600
 +faffy.ucl.openstreetmap:10.0.0.7
 +faffy.oob.openstreetmap:10.0.1.7
 
-# Spare machines
+# Munin server
 
++urmel.openstreetmap:128.40.168.96
++munin.openstreetmap:128.40.168.96:600
 +urmel.ucl.openstreetmap:10.0.0.6
 +urmel.oob.openstreetmap:10.0.1.6
+
+# Spare machines
+
 +puff.ucl.openstreetmap:10.0.0.10
 +puff.oob.openstreetmap:10.0.1.10