add fetch before pushing tags

This commit is contained in:
2025-09-07 21:40:17 -04:00
parent ad5ceb7eb1
commit 8794fdf88c

View File

@@ -89,6 +89,7 @@ jobs:
git fetch git fetch
git push origin "$DETERMINATE_VERSION" --force git push origin "$DETERMINATE_VERSION" --force
git checkout main git checkout main
git pull
git merge "$DETERMINATE_VERSION" git merge "$DETERMINATE_VERSION"
git push git push
env: env: