From 1a1989e5657699898cf30587829ba8cbccb3fbec Mon Sep 17 00:00:00 2001
From: Andrew Hamilton <and_hamilton@yahoo.com>
Date: Tue, 3 Jun 2025 16:57:44 +1000
Subject: [PATCH] packaging: Bring uv lock file up to date when tagging a new
 version

---
 packaging/push-new-version | 1 +
 1 file changed, 1 insertion(+)

diff --git a/packaging/push-new-version b/packaging/push-new-version
index a8e3c74..c9b3edd 100755
--- a/packaging/push-new-version
+++ b/packaging/push-new-version
@@ -18,6 +18,7 @@ if [ $NEW_VERSION == $CURRENT_VERSION ]; then
     git push --delete origin $CURRENT_VERSION
 else
     git grep --no-color -l $CURRENT_VERSION | xargs sed -i "s/$CURRENT_VERSION/$NEW_VERSION/g"
+    uv lock
     git commit --all --message="Update version to $NEW_VERSION"
 fi
 git tag $NEW_VERSION