Update tools/publish.sh

This commit is contained in:
Taiki Endo
2022-07-06 03:39:38 +09:00
parent 0e32218b80
commit 095ba5e160

View File

@@ -99,16 +99,16 @@ tools=(
git push origin main git push origin main
git push origin --tags git push origin --tags
version_tag="v${version%%.*}" major_version_tag="v${version%%.*}"
git checkout -b "${version_tag}" git checkout -b "${major_version_tag}"
git push origin refs/heads/"${version_tag}" git push origin refs/heads/"${major_version_tag}"
if git --no-pager tag | grep -Eq "^${version_tag}$"; then if git --no-pager tag | grep -Eq "^${major_version_tag}$"; then
git tag -d "${version_tag}" git tag -d "${major_version_tag}"
git push --delete origin refs/tags/"${version_tag}" git push --delete origin refs/tags/"${major_version_tag}"
fi fi
git tag "${version_tag}" git tag "${major_version_tag}"
git checkout main git checkout main
git branch -d "${version_tag}" git branch -d "${major_version_tag}"
) )
for tool in "${tools[@]}"; do for tool in "${tools[@]}"; do