Update release script

This commit is contained in:
o9000 2017-11-05 12:27:05 +01:00
parent cde05df1bc
commit cf81f1c9f9

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, version))
run("git reset --hard HEAD~ ; git tag -d %s ; git tag -d v%s" % (version, readable_version))