Remove secrets

build.sh

@@ -78,6 +78,11 @@ then
     git config --global core.sshCommand "$SSH_COMMAND"
     git config --global remote.origin.url [email protected]:Redot-Engine/redot-docs-live.git
 
+    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
 
     echo "Setting credentials"