Wir verwenden Tags in Git als Teil unseres Bereitstellungsprozesses. Von Zeit zu Zeit möchten wir diese Tags bereinigen, indem wir sie aus unserem entfernten Repository entfernen.
Das ist ziemlich einfach. Ein Benutzer löscht das lokale Tag und das entfernte Tag mit einer Reihe von Befehlen. Wir haben ein kleines Shell-Skript, das beide Schritte kombiniert.
Der 2. (3., 4.,...) Benutzer hat nun lokale Tags, die auf der Fernbedienung nicht mehr angezeigt werden.
Ich suche nach einem Befehl ähnlich dem git remote prune origin der die lokal verfolgten Zweige bereinigt, für die der entfernte Zweig gelöscht wurde.
Alternativ könnte ein einfacher Befehl zum Auflisten der entfernten Tags verwendet werden, um sie mit den lokalen Tags zu vergleichen, die über git tag -l .
