add fetch before pushing tags

This commit is contained in:
2025-09-07 21:38:52 -04:00
parent d86cb8cbd8
commit ad5ceb7eb1

View File

@@ -86,6 +86,7 @@ jobs:
COMMIT_ID: ${{ env.COMMIT_ID }} COMMIT_ID: ${{ env.COMMIT_ID }}
- name: Push new tag - name: Push new tag
run: | run: |
git fetch
git push origin "$DETERMINATE_VERSION" --force git push origin "$DETERMINATE_VERSION" --force
git checkout main git checkout main
git merge "$DETERMINATE_VERSION" git merge "$DETERMINATE_VERSION"