Comment supprimer une branche git distante "correctement", c'est-à-dire mettre à jour la liste des branches distantes pour tous les utilisateurs?

Question

Je suis en train de supprimer à distance git branch, cependant, le processus n'est pas "totalement" la suppression de la branche comme je l'avais espérer.

Par exemple, disons que je suis la suppression d'une branche appelée mybranch. Pour ce faire, j'exécute la commande suivante

git push origin :mybranch

Cela supprime la branche comme prévu, et si je n' git branch -a il n'apparaît plus sur la liste localement ou à distance.

Le problème, je vais avoir, c'est si je vais à une autre personne de la machine qui a fait un git pull alors que la direction générale a existé, et qu'ils effectuent une git branch -a, c'est encore dans leur liste comme une branche distante.

Nous avons essayé plusieurs commandes, pull, gc, prune, mais rien n'est la mise à jour de cette liste et la suppression de la branche distante.

Est-il une commande pour synchroniser (ce que je ne peux que supposer est) le cache local de la télécommande liste branches, et de supprimer toutes les branches qui n'existent plus?

Answer 1

Jusqu'à ce qu'ils mettent à jour leurs télécommandes, leur git n'aura aucune connaissance de ce qui s'est passé dans le référentiel. Une fois la mise à jour effectuée (via git fetch ou git remote update ), git remote show origin indiquera correctement qu'il existe des branches de suivi locales pour les branches qui n'existent plus en amont. À ce stade, git remote prune peut être utilisé pour supprimer les branches locales périmées.

Answer 2

Pour supprimer toutes les branches de suivi à distance qui n'existent plus sur la télécommande.

 git fetch -p