Move git label

Moving a misplaced tag label is easy. If we want to move a tagged version like version/0.6.13 just run this:

git push origin :refs/tags/version/0.6.13
git tag -fa version/0.6.13
git push origin master --tags