From 9f2d58e47a99ac8e71e7c9b12c716f8bd59900f3 Mon Sep 17 00:00:00 2001
From: Adrian Sampson <adrian@radbox.org>
Date: Fri, 24 Apr 2015 08:55:23 -0700
Subject: [PATCH] release.py: push the commits too

---
 extra/release.py | 1 +
 1 file changed, 1 insertion(+)

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.