Fix the release script to push tags.

1 files changed, 7 insertions, 0 deletions

diff --git a/release.py b/release.py
index e6502b46..a2c2208a 100644
--- a/release.py
+++ b/release.py
@@ -42,6 +42,12 @@ def create_source_tarball():
     print(' '.join(cmd))
     subprocess.check_output(cmd)
 
+def push_tags_to_github():
+    cmd = ['git', 'push', '--tags', 'origin']
+    print(' '.join(cmd))
+    subprocess.check_output(cmd)
+
+
 if __name__ == '__main__':
     if DEBUG:
         subprocess.check_output = lambda x: x
@@ -55,3 +61,4 @@ if __name__ == '__main__':
     create_git_tag('v%s' % ver)
     register_with_pypi()
     create_source_tarball()
+    push_tags_to_github()