Git-Tag löschen und neu hinzufügen
Auf Git Hub habe ich das Tag wie folgt neu hinzugefügt:
git tag -d 12.15
git Push Origin :refs/tags/12.15
git tag -a 12.15 -m '12.15'
git Push --tags
Das Tag bezieht sich immer noch auf das alte Tag auf Github, aber lokal wird es richtig gemacht.
UPDATE: Anscheinend listet github das letzte Commit falsch auf, lädt es aber korrekt herunter.
Die Referenz lautet https://stackoverflow.com/a/5480292/1317035
Sie müssen lediglich eine leere Referenz auf den Namen des Remote-Tags pushen:
git Push Origin :tagname
Oder, ausdrücklicher, verwenden Sie die --delete Möglichkeit:
git Push --delete Origin tagname
Wenn Sie einen Zweig, ein Tag oder eine andere Referenz in ein Remote-Repository verschieben möchten, müssen Sie angeben, wo, welche Quelle und welches Ziel verschoben werden sollen.
git Push where-to-Push source-ref:destination-ref
Ein Beispiel aus der Praxis, in dem Sie Ihren Master-Zweig in den Master-Zweig von Origin verschieben, ist:
git Push Origin refs/heads/master:refs/heads/master
Welche aufgrund von Standardpfaden kann verkürzt werden:
git Push Origin master:master
Tags funktionieren genauso:
git Push refs/tags/release-1.0:refs/tags/release-1.0
Wenn Sie die Quellreferenz (den Teil vor dem Doppelpunkt) weglassen, drücken Sie "nichts" zum Ziel und löschen die Referenz auf der Remote-Seite.