Como remover uma tag do GitHubQuando se mexe com releases é possível ter problemas de mais tags que releases