diff --git a/packaging/push-new-version b/packaging/push-new-version index 0ca8cc2..a8e3c74 100755 --- a/packaging/push-new-version +++ b/packaging/push-new-version @@ -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 +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 grep --no-color -l $CURRENT_VERSION | xargs sed -i "s/$CURRENT_VERSION/$NEW_VERSION/g" -git commit --all --message="Update version to $NEW_VERSION" git tag $NEW_VERSION git push git push --tags