chore: push when publishing

jason0x43 · Feb 4, 2024 · f32e8b8 · f32e8b8
1 parent 775f162
commit f32e8b8
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/scripts/publish.py b/scripts/publish.py
@@ -43,3 +43,5 @@ def update_manifest(new_version: str):
 
 check_call('git commit --all -m "chore: update version number"', shell=True)
 check_call(f"git tag v{new_version}", shell=True)
+check_call("git push", shell=True)
+check_call("git push --tags", shell=True)