From b904922356538b28b20fd5e0250241ddb131b31f Mon Sep 17 00:00:00 2001
From: Jack O'Sullivan <jackos1998@gmail.com>
Date: Tue, 25 Aug 2026 20:57:26 +0100
Subject: [PATCH] ci/docs: Fix repository URL for push

---
 .gitea/workflows/update-docs.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitea/workflows/update-docs.yaml b/.gitea/workflows/update-docs.yaml
index 32b7cde..3243fb4 100644
--- a/.gitea/workflows/update-docs.yaml
+++ b/.gitea/workflows/update-docs.yaml
@@ -39,10 +39,10 @@ jobs:
       - name: Commit and push if changed
         env:
           GITEA_TOKEN: ${{ secrets.GITEA_TOKEN }}
-          REPO_URL: ${{ gitea.repositoryUrl }}
         run: |
           git config user.name "github-actions[bot]"
           git config user.email "github-actions[bot]@users.noreply.github.com"
+          REPO_URL="${GITHUB_SERVER_URL}/${GITHUB_REPOSITORY}"
           git remote set-url origin "${REPO_URL/https:\/\//https:\/\/oauth2:${GITEA_TOKEN}@}"
           git add docs/
           if ! git diff --cached --quiet; then