diff --git a/packaging/push-new-version b/packaging/push-new-version index 342a723..0ca8cc2 100755 --- a/packaging/push-new-version +++ b/packaging/push-new-version @@ -18,9 +18,6 @@ if [ $NEW_VERSION == $CURRENT_VERSION ]; then git push --delete origin $CURRENT_VERSION fi git grep --no-color -l $CURRENT_VERSION | xargs sed -i "s/$CURRENT_VERSION/$NEW_VERSION/g" -for DIR in eris fill3 lscolors termstr ; do - cd $DIR; uv lock --upgrade; cd .. -done git commit --all --message="Update version to $NEW_VERSION" git tag $NEW_VERSION git push