https://www.ask-sheldon.com/remove-a-tag-from-git/