chore: push commits when publishing

iovis · Mar 7, 2024 · d0a77b9 · d0a77b9
1 parent e21f9f4
commit d0a77b9
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/justfile b/justfile
@@ -15,6 +15,7 @@ default:
 # Publish to creates.io
 @publish: test
     cargo audit
+    git push
     git push --tags  # cargo-dist
     cargo publish