16
Rimuovere i tag git locali che non si trovano più nel repository remoto
Usiamo i tag in git come parte del nostro processo di distribuzione. Di tanto in tanto, vogliamo ripulire questi tag rimuovendoli dal nostro repository remoto. Questo è piuttosto semplice. Un utente elimina il tag locale e il tag remoto in un set di comandi. Abbiamo un piccolo script di shell …