Fix Gitea checkout URL for CI runner network.

Force actions/checkout to use the public git.produktor.io endpoint instead of the internal gitea hostname so runners can fetch repository contents.

Made-with: Cursor

.gitea/workflows/ci.yml

@@ -12,6 +12,9 @@ jobs:
     steps:
       - name: Checkout
         uses: actions/checkout@v4
+        with:
+          github-server-url: https://git.produktor.io
+          fetch-depth: 1
 
       - name: Setup Go
         uses: actions/setup-go@v5