Use github pages for ideditor

diff --git a/src/ideditor.js b/src/ideditor.js
index 3d2fd645a07aeb08aee35231f32949040d58cdce..68b3ade225019427b7e5600e7959e75efdaa4586 100644 (file)
--- a/src/ideditor.js
+++ b/src/ideditor.js
@@ -24,11 +24,9 @@ D(DOMAIN, REGISTRAR, DnsProvider(PROVIDER),
     ]
   }),
 
-  // Main web server and it's aliases
+  // site hosted on github pages
 
-  A("@", "192.30.252.153"),
-  A("@", "192.30.252.154"),
-  A("www", "192.30.252.153"),
-  A("www", "192.30.252.154")
+  ALIAS("@", "openstreetmap.github.io."),
+  CNAME("www", "openstreetmap.github.io.")
 
 );
\ No newline at end of file