Change new release script to also publish to remote (issue #707)

This commit is contained in:
Chris Lee 2018-05-03 03:58:05 +00:00
parent d1f5a46a73
commit ffa6e5ba49

View file

@ -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")