https://stackoverflow.com/questions/5480258/how-to-delete-a-remote-tag https://stackoverflow.com/a/49446729/778517 git push --delete origin tagName git tag -d tagName