diff --git a/extra/release.py b/extra/release.py index 2d57e2cfc..de4d55029 100755 --- a/extra/release.py +++ b/extra/release.py @@ -302,6 +302,7 @@ def publish(): # Push to GitHub. with chdir(BASE): + subprocess.check_call(['git', 'push']) subprocess.check_call(['git', 'push', '--tags']) # Upload to PyPI.