fix: push main branch to GitHub in release script

This commit is contained in:
Kantine Wrapper
2026-02-26 08:58:25 +01:00
parent 6cee38e99f
commit ce12684193

View File

@@ -49,8 +49,9 @@ echo "=== Pushing to remotes ==="
git push origin HEAD git push origin HEAD
git push origin --force tag "$VERSION" git push origin --force tag "$VERSION"
# If a remote named 'github' exists, push tags there too # If a remote named 'github' exists, push branch and tags there too
if git remote | grep -q "^github$"; then if git remote | grep -q "^github$"; then
git push github HEAD
git push github --force tag "$VERSION" git push github --force tag "$VERSION"
fi fi