Point ci.osm.org at new server

[dns.git] / src / openstreetmap

diff --git a/src/openstreetmap b/src/openstreetmap
index d8d4fb2cc5e2aa15ab94eae514c506cc4469ae31..1f836c3a96ea4da3dfd144f1636b99bd3cb2fd0c 100644 (file)
--- a/src/openstreetmap
+++ b/src/openstreetmap
@@ -314,8 +314,8 @@ Cc.tile.openstreetmap:tile.geo.openstreetmap.org:600
 
 # Continuous integration server (on Shaun McDonald's machine)
 
-+ci.openstreetmap:5.9.72.139
-+cruise.openstreetmap:5.9.72.139
++ci.openstreetmap:144.76.98.136
++cruise.openstreetmap:144.76.98.136
  
 # Donation site