From d8aef62647536e8252d9b7d01b5072972eb54b33 Mon Sep 17 00:00:00 2001
From: Andrew Hamilton <and_hamilton@yahoo.com>
Date: Fri, 25 Feb 2022 23:40:31 +1000
Subject: [PATCH] packaging: Quieter push-new-version

- Don't really need to show diff or logs for review.
---
 packaging/push-new-version | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/packaging/push-new-version b/packaging/push-new-version
index 4742342..f59ab54 100755
--- a/packaging/push-new-version
+++ b/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."