Filter: git

Löschen eines versehentlich gesetzten Tags in GIT.