From ffa6e5ba49d1eb2229c45e5ec1848e57d188e02d Mon Sep 17 00:00:00 2001
From: Chris Lee <@klee93>
Date: Thu, 3 May 2018 03:58:05 +0000
Subject: [PATCH] Change new release script to also publish to remote (issue
 #707)

---
 new-release.py | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/new-release.py b/new-release.py
index 0295b68..e8aa23d 100755
--- a/new-release.py
+++ b/new-release.py
@@ -194,3 +194,9 @@ if __name__ == '__main__':
   choice = raw_input().lower()
   if choice != "y":
     run("git reset --hard HEAD~ ; git tag -d %s ; git tag -d %s" % (version, readable_version))
+    sys.exit(1)
+  print "Publish? [y/n]"
+  choice = raw_input().lower()
+  if choice != "y":
+    sys.exit(1)
+  run("git push origin master && git push --tags origin master")