More cleanup

build.sh

@@ -74,12 +74,12 @@ then
     chmod 0644 ~/.ssh/known_hosts
     chmod 0755 ~/.ssh
 
-    git config --global remote.origin.url [email protected]:Redot-Engine/redot-docs-live.git
+    #git config --global remote.origin.url [email protected]:Redot-Engine/redot-docs-live.git
 
+    # HACK: remove annoying https redirect
     insteadof=`git config --list | grep insteadof`
     remove=`echo $insteadof | cut -d "=" -f 1`
     git config --global --unset $remove
-    #git config --global "url.ssh://[email protected]:443/.insteadOf" [email protected]:
 
     git remote set-url origin [email protected]:Redot-Engine/redot-docs-live.git