Update release script

This commit is contained in:
o9000 2017-11-05 12:28:02 +01:00
parent cf81f1c9f9
commit be7873a688

View file

@ -193,4 +193,4 @@ if __name__ == '__main__':
print "Does this look correct? [y/n]"
choice = raw_input().lower()
if choice != "y":
run("git reset --hard HEAD~ ; git tag -d %s ; git tag -d v%s" % (version, readable_version))
run("git reset --hard HEAD~ ; git tag -d %s ; git tag -d %s" % (version, readable_version))