From c4a6020b0bacedc89bd072469432393ce89e6d01 Mon Sep 17 00:00:00 2001
From: Arjan Dikhoff <noreply_build_worker@cloudflare.com>
Date: Fri, 25 Oct 2024 19:04:31 +0200
Subject: [PATCH] Remove secrets

---
 build.sh | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/build.sh b/build.sh
index 61bfd0472d7d..a24f8e9d19e0 100755
--- a/build.sh
+++ b/build.sh
@@ -78,6 +78,11 @@ then
     git config --global core.sshCommand "$SSH_COMMAND"
     git config --global remote.origin.url git@github.com: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://git@ssh.github.com:443/.insteadOf" git@github.com:
+
     git remote set-url origin git@github.com:Redot-Engine/redot-docs-live.git
 
     echo "Setting credentials"