From d8aff012e9ac67a1b9ec6652682951c47a33a443 Mon Sep 17 00:00:00 2001
From: Andrew Hamilton <and_hamilton@yahoo.com>
Date: Wed, 11 Dec 2024 22:20:21 +1000
Subject: [PATCH] packaging: Push a new version on the same day correctly.

- Wasn't updating the uv.lock files.
---
 packaging/push-new-version | 11 +++++------
 1 file changed, 5 insertions(+), 6 deletions(-)

diff --git a/packaging/push-new-version b/packaging/push-new-version
index 0b7e088..40bae1c 100755
--- a/packaging/push-new-version
+++ b/packaging/push-new-version
@@ -16,13 +16,12 @@ 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"
-    for DIR in eris fill3 lscolors termstr ; do
-        cd $DIR; uv sync; cd ..
-    done
-    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"
+for DIR in eris fill3 lscolors termstr ; do
+    cd $DIR; uv sync; cd ..
+done
+git commit --all --message="Update version to $NEW_VERSION"
 git tag $NEW_VERSION
 git push
 git push --tags