packaging: Change update-version to push-new-version

- It also pushes changes and the new tag.
- It was easy to forget to push the new tag.

packaging/push-new-version

@@ -15,6 +15,7 @@ NEW_VERSION=$(date "+v%Y.%m.%d")
 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 -l $CURRENT_VERSION | xargs sed -i "s/$CURRENT_VERSION/$NEW_VERSION/g"
     git diff
@@ -22,3 +23,5 @@ else
 fi
 git tag $NEW_VERSION
 git log --max-count=1
+git push
+git push --tags