[U] Deploy tool: Push tag

2022-09-06 12:20:37 -04:00
parent 82c37a28d3
commit d0fda1ef0d
1 changed files with 1 additions and 0 deletions
@@ -124,6 +124,7 @@ def create_release(v: str):
    # 4. Push
    print('Pushing commits...')
    subprocess.check_call(['git', 'push'])
+    subprocess.check_call(['git', 'push', 'origin', v])


 def deploy():