title: git tag delete and re-add
body: <p>On git hub I re-added the tag by doing: </p>
  
  <pre><code>git tag -d 12.15
  git push origin :refs/tags/12.15
  git tag -a 12.15 -m '12.15'
  git push --tags
  </code></pre>
  
  <p>The tag is still referring to the old tag on github, but locally it is done right.</p>
  
  <p>UPDATE: It seems github is listing the last commit wrong, but downloading it correctly.</p>