packaging: Quieter push-new-version

- Don't really need to show diff or logs for review.

packaging/push-new-version

@@ -18,10 +18,9 @@ if [ $NEW_VERSION == $CURRENT_VERSION ]; then
     git push --delete origin $CURRENT_VERSION
 else
     git grep -l $CURRENT_VERSION | xargs sed -i "s/$CURRENT_VERSION/$NEW_VERSION/g"
-    git diff
     git commit --all --message="Update version to $NEW_VERSION"
 fi
 git tag $NEW_VERSION
-git log --max-count=1
 git push
 git push --tags
+echo "Done."