ignore prev. push

axgkl · axgkl · commit 5b688ad5cbaa · 2025-11-08T21:19:50.000+01:00
diff --git a/justfile b/justfile
@@ -97,7 +97,7 @@ new-version VERSION="":
 # Pushes the tag, publishes to pypi
 publish: 
     git pull
-    git push --tags
+    git push --tags || true
     just clean
     just build
     uv publish --token "$(pass pypitoken)"
