16
Remova as tags git locais que não estão mais no repositório remoto
Usamos tags no git como parte de nosso processo de implantação. Periodicamente, queremos limpar essas tags removendo-as do nosso repositório remoto. Isso é bem direto. Um usuário exclui a marca local e a marca remota em um conjunto de comandos. Temos um pequeno script de shell que combina as duas …