packaging: Return push-new-version to working version

This commit is contained in:
Andrew Hamilton 2024-12-28 18:46:47 +10:00
parent f5dd5d3444
commit 65666648ac

View file

@ -16,9 +16,10 @@ CURRENT_VERSION=$(git describe --tags --abbrev=0)
if [ $NEW_VERSION == $CURRENT_VERSION ]; then
git tag --delete $CURRENT_VERSION
git push --delete origin $CURRENT_VERSION
fi
else
git grep --no-color -l $CURRENT_VERSION | xargs sed -i "s/$CURRENT_VERSION/$NEW_VERSION/g"
git commit --all --message="Update version to $NEW_VERSION"
fi
git tag $NEW_VERSION
git push
git push --tags