new server for design system

Author: jean-gui

deploy.php

@@ -41,14 +41,14 @@
 
 host('production')
     ->stage('production')
-    ->hostname('mercury.w3.org')
+    ->hostname('proteus.w3.internal')
     ->user('studio24')
     ->set('deploy_path','/srv/design-system.w3.org')
     ->set('url', 'https://design-system.w3.org/');
 
 host('staging')
     ->stage('staging')
-    ->hostname('mercury.w3.org')
+    ->hostname('proteus.w3.internal')
     ->user('studio24')
     ->set('deploy_path','/srv/staging-design-system.w3.org')
     ->set('url', 'https://staging-design-system.w3.org/');