From c3441a0604fc63c7fb93db1bbed1129fb1b7bd1b Mon Sep 17 00:00:00 2001
From: Arjan Dikhoff <noreply_build_worker@cloudflare.com>
Date: Fri, 25 Oct 2024 21:15:06 +0200
Subject: [PATCH] More cleanup

---
 build.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/build.sh b/build.sh
index 230233737c4e..b7f4460ae613 100755
--- a/build.sh
+++ b/build.sh
@@ -74,12 +74,12 @@ then
     chmod 0644 ~/.ssh/known_hosts
     chmod 0755 ~/.ssh
     
-    git config --global remote.origin.url git@github.com:Redot-Engine/redot-docs-live.git
+    #git config --global remote.origin.url git@github.com: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://git@ssh.github.com:443/.insteadOf" git@github.com:
 
     git remote set-url origin git@github.com:Redot-Engine/redot-docs-live.git