chore: fix tag push

This commit is contained in:
Shohei Ueda 2019-12-14 21:27:59 +09:00 committed by GitHub
parent 754a1d28dd
commit f21cef4446
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -21,4 +21,4 @@ jobs:
export TAG_MAJOR="${TAG_NAME%%.*}"
git tag "${TAG_MAJOR}" -m "Release ${TAG_NAME}" || git tag -d "${TAG_MAJOR}" ; git push origin --delete "${TAG_MAJOR}"
git tag "${TAG_MAJOR}" -m "Release ${TAG_NAME}" || true
git push --tags origin
git push origin "${TAG_MAJOR}"