diff --git a/tools/deploy-release.py b/tools/deploy-release.py index f92f05ad..f9ca974d 100755 --- a/tools/deploy-release.py +++ b/tools/deploy-release.py @@ -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():