dominikbulaj · November 27, 2015 14:24
diff --git a/git_rename_tag.sh b/git_rename_tag.sh
 git tag new old  # create new tag
 git tag -d old   # remove old tag
 git push origin :refs/tags/old # remove old tag from remote repository
 git push --tags  # push tags
	git tag new old # create new tag
	git tag -d old # remove old tag
	git push origin :refs/tags/old # remove old tag from remote repository
	git push --tags # push tags