Git-Tag lokal und remote löschen

Ein versehentlich oder falsch gepushter Git-Tag ist mitunter nur schwer wieder loszuwerden. In der Praxis ist es häufig so, dass jemand anderes bereits den Tag zu sich lokal pulled hat und der Tag so immer wieder neu im zentralen Git-Repository auftaucht weil er nach dem Löschen von irgendwo unbewusst immer wieder mit pushed wird. Einen Versuch ist es Wert: Bei kleinen Teams kann folgendes klappen, und bei großen Teams sind hoffentlich eingeschränkte Berechtigungen fürs Pushen von Tags vorgesehen, so, dass wieder von einem kleinen Team gesprochen werden kann ;-)

git tag --delete 1.34 git push --delete origin 1.34

Hier soll der fälschlicherweise angelegte Tag 1.34 gelöscht werden (sollte 1.3.4 heißen) – falls das nicht klappt muss man wohl oder übel mit einem Tag > 1.34.0 weitermachen…