fix: push correct Gitea branch to GitHub main in release workflow

Previously the workflow was pushing 'main' to GitHub instead of the
determined GITEA_BRANCH (either 'main' for stable or 'dev/namespace-drawer'
for dev releases). This caused both repos to get mixed up content.

Now it explicitly pushes :main to ensure:
- Dev releases: Gitea dev/namespace-drawer → GitHub dev repo main
- Stable releases: Gitea main → GitHub stable repo main
This commit is contained in:
2026-02-09 11:00:54 -05:00
parent 863889eca4
commit 82261a1c19
+1 -1
View File
@@ -196,6 +196,6 @@ jobs:
# Also push to GitHub directly to avoid waiting for mirror sync
# Dev versions go to main branch of dev repo, stable versions to main of main repo
git remote add github https://x-access-token:${{ secrets.GH_PAT }}@github.com/${GITHUB_REPO}.git 2>/dev/null || true
git push github main 2>/dev/null || true
git push github ${GITEA_BRANCH}:main 2>/dev/null || true
git push -f github ${GITHUB_REF_NAME} 2>/dev/null || true
echo "Tag ${GITHUB_REF_NAME} aligned with updated metadata"