]> git.openstreetmap.org Git - dns.git/blobdiff - openstreetmap.org
DNS revert dev.openstreetmap.org to old-dev, move broke dev.osm.org/~users. Move...
[dns.git] / openstreetmap.org
index 86792df312cd852e7e66ea3c694bcc3b43e4fd4a..2cb835bcb5badc22eeeb2ad29f7b6e756aac05c8 100644 (file)
 # Development server with wildcard alias for user sites
 
 +dev.openstreetmap.org:128.40.168.100
-+*.dev.openstreetmap.org:128.40.168.100
++old-dev.openstreetmap.org:128.40.168.100
++*.old-dev.openstreetmap.org:128.40.168.100
 +dev.internal.openstreetmap.org:10.0.0.5
 
 +errol.openstreetmap.org:128.40.168.103
++*.dev.openstreetmap.org:128.40.168.103
++new-dev.openstreetmap.org:128.40.168.103
++*.new-dev.openstreetmap.org:128.40.168.103
 +errol.internal.openstreetmap.org:10.0.0.14
 +errol.ilo.openstreetmap.org:10.0.0.64