diff --git a/packaging/push-new-version b/packaging/push-new-version index a8e3c74..c9b3edd 100755 --- a/packaging/push-new-version +++ b/packaging/push-new-version @@ -18,6 +18,7 @@ if [ $NEW_VERSION == $CURRENT_VERSION ]; then git push --delete origin $CURRENT_VERSION else git grep --no-color -l $CURRENT_VERSION | xargs sed -i "s/$CURRENT_VERSION/$NEW_VERSION/g" + uv lock git commit --all --message="Update version to $NEW_VERSION" fi git tag $NEW_VERSION