Update release script

2017-11-05 12:24:46 +01:00
parent 5fee459945
commit cde05df1bc
1 changed files with 1 additions and 1 deletions
--- a/new-release.py
+++ b/new-release.py
@@ -193,4 +193,4 @@ if __name__ == '__main__':
  print "Does this look correct? [y/n]"
  choice = raw_input().lower()
  if choice != "y":
-    run("git reset HEAD~")
+    run("git reset --hard HEAD~ ; git tag -d %s ; git tag -d v%s" % (version, version))