chore(ci): use explicit ip for gitea in ssh config

.gitea/workflows/ci.yml

@@ -26,21 +26,27 @@ jobs:
         run: |
           mkdir -p ~/.ssh
           ssh-keyscan -p 22 172.18.0.2 >> ~/.ssh/known_hosts || true
-          # Direct IP routing avoids dns completely. The API returns SSH_PORT=222 but internally Gitea listens on 22.
-          # So we MUST map any connection to the internal port 22.
+          # Route all possible hostnames Gitea might hand out via API back to the internal docker port 22
           printf "Host gitea\n  HostName 172.18.0.2\n  Port 22\n  StrictHostKeyChecking no\n" > ~/.ssh/config
           printf "Host thunderobot\n  HostName 172.18.0.2\n  Port 22\n  StrictHostKeyChecking no\n" >> ~/.ssh/config
+          printf "Host thunderobot.tail5d6e8e.ts.net\n  HostName 172.18.0.2\n  Port 22\n  StrictHostKeyChecking no\n" >> ~/.ssh/config
           
-          # Force checkout to use the mapped config
+          # Force checkout to rewrite port 222 down to 22
           git config --global url."ssh://git@gitea/".insteadOf "ssh://git@gitea:222/"
           git config --global url."ssh://git@gitea/".insteadOf "git@gitea:222:"
+          git config --global url."ssh://git@thunderobot.tail5d6e8e.ts.net/".insteadOf "ssh://git@thunderobot.tail5d6e8e.ts.net:222/"
+          git config --global url."ssh://git@thunderobot.tail5d6e8e.ts.net/".insteadOf "git@thunderobot.tail5d6e8e.ts.net:222:"
+          git config --global url."ssh://git@thunderobot/".insteadOf "ssh://git@thunderobot:222/"
+          git config --global url."ssh://git@thunderobot/".insteadOf "git@thunderobot:222:"
           chmod 600 ~/.ssh/config
 
       - name: Checkout Code
-        uses: actions/checkout@v4
-        with:
-          repository: danchie/tekton
-          ssh-key: ${{ secrets.TEKTON_SSH_KEY }}
+        run: |
+          # Use manual clone because actions/checkout overrides SSH settings and drops our Host aliases
+          eval "$(ssh-agent -s)"
+          ssh-add <(echo "${{ secrets.TEKTON_SSH_KEY }}")
+          git clone ssh://git@gitea/danchie/tekton.git .
+          git checkout $TAG_NAME
 
       - name: Setup Godot (Cached)
         run: |