diff --git a/packaging/push-new-version b/packaging/push-new-version
index f59ab54..a8e3c74 100755
--- a/packaging/push-new-version
+++ b/packaging/push-new-version
@@ -17,7 +17,7 @@ if [ $NEW_VERSION == $CURRENT_VERSION ]; then
     git tag --delete $CURRENT_VERSION
     git push --delete origin $CURRENT_VERSION
 else
-    git grep -l $CURRENT_VERSION | xargs sed -i "s/$CURRENT_VERSION/$NEW_VERSION/g"
+    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