release.py: push the commits too

This commit is contained in:
Adrian Sampson 2015-04-24 08:55:23 -07:00
parent a8fce9be69
commit 9f2d58e47a

View file

@ -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.