]> git.openstreetmap.org Git - dns.git/commitdiff
Remove some unused DNS entries
authorTom Hughes <tom@compton.nu>
Wed, 30 May 2018 13:00:43 +0000 (14:00 +0100)
committerTom Hughes <tom@compton.nu>
Wed, 30 May 2018 13:00:43 +0000 (14:00 +0100)
src/openstreetmap

index c0e6f132a9cdd49c54d65940ff39c80caf6ada1a..b2570a7d19545db0bf87c91f64ea0c9b9094a28a 100644 (file)
@@ -481,9 +481,6 @@ Cc.tile.openstreetmap:tile.geo.openstreetmap.org
 # HOT site
 
 +hot.openstreetmap:144.76.31.210:300
-+humanitarian.openstreetmap:144.76.31.210:300
-+hot-staging.openstreetmap:144.76.31.210:300
-+hot-dev.openstreetmap:144.76.31.210:300
 
 # Uptime site at StatusCake