diff --git a/tools/ci/setup-git.sh b/tools/ci/setup-git.sh
index 59ee092..e1f6dd1 100755
--- a/tools/ci/setup-git.sh
+++ b/tools/ci/setup-git.sh
@@ -20,7 +20,9 @@ if [ "$HOME" = "/github/home" ]; then
         "workaround some Github stupidity."
 
     ls -al "/github" || true
-    mkdir -p /github
+    ls -al "/github/home" || true
+
+    rm -rf /github/home || true
     ln -s /root "$HOME"
     ls -al "/github"
 fi