From c8692d434861c024173506789f67f4d172019975 Mon Sep 17 00:00:00 2001
From: V <vlad@dev.local>
Date: Sat, 16 May 2026 21:42:46 +0100
Subject: [PATCH] Hardcode Gitea checkout host in workflows

---
 .gitea/workflows/ci.yml      |  6 ++----
 .gitea/workflows/publish.yml | 12 ++++--------
 2 files changed, 6 insertions(+), 12 deletions(-)

diff --git a/.gitea/workflows/ci.yml b/.gitea/workflows/ci.yml
index 56a3fbf..ffd4c64 100644
--- a/.gitea/workflows/ci.yml
+++ b/.gitea/workflows/ci.yml
@@ -19,11 +19,9 @@ jobs:
           set -eu
           git init .
           if [ -n "${TOKEN:-}" ]; then
-            server="${GITHUB_SERVER_URL#https://}"
-            server="${server#http://}"
-            git remote add origin "https://x-access-token:${TOKEN}@${server}/${GITHUB_REPOSITORY}.git"
+            git remote add origin "https://x-access-token:${TOKEN}@k3gtpi.jumpingcrab.com/${GITHUB_REPOSITORY}.git"
           else
-            git remote add origin "${GITHUB_SERVER_URL}/${GITHUB_REPOSITORY}.git"
+            git remote add origin "https://k3gtpi.jumpingcrab.com/${GITHUB_REPOSITORY}.git"
           fi
           git fetch --depth=1 origin "${GITHUB_SHA}"
           git checkout --detach FETCH_HEAD
diff --git a/.gitea/workflows/publish.yml b/.gitea/workflows/publish.yml
index 689890f..d8e36c7 100644
--- a/.gitea/workflows/publish.yml
+++ b/.gitea/workflows/publish.yml
@@ -19,11 +19,9 @@ jobs:
           set -eu
           git init .
           if [ -n "${TOKEN:-}" ]; then
-            server="${GITHUB_SERVER_URL#https://}"
-            server="${server#http://}"
-            git remote add origin "https://x-access-token:${TOKEN}@${server}/${GITHUB_REPOSITORY}.git"
+            git remote add origin "https://x-access-token:${TOKEN}@k3gtpi.jumpingcrab.com/${GITHUB_REPOSITORY}.git"
           else
-            git remote add origin "${GITHUB_SERVER_URL}/${GITHUB_REPOSITORY}.git"
+            git remote add origin "https://k3gtpi.jumpingcrab.com/${GITHUB_REPOSITORY}.git"
           fi
           git fetch --depth=1 origin "${GITHUB_SHA}"
           git checkout --detach FETCH_HEAD
@@ -57,11 +55,9 @@ jobs:
           set -eu
           git init .
           if [ -n "${TOKEN:-}" ]; then
-            server="${GITHUB_SERVER_URL#https://}"
-            server="${server#http://}"
-            git remote add origin "https://x-access-token:${TOKEN}@${server}/${GITHUB_REPOSITORY}.git"
+            git remote add origin "https://x-access-token:${TOKEN}@k3gtpi.jumpingcrab.com/${GITHUB_REPOSITORY}.git"
           else
-            git remote add origin "${GITHUB_SERVER_URL}/${GITHUB_REPOSITORY}.git"
+            git remote add origin "https://k3gtpi.jumpingcrab.com/${GITHUB_REPOSITORY}.git"
           fi
           git fetch --depth=1 origin "${GITHUB_SHA}"
           git checkout --detach FETCH_HEAD