Comment supprimer une référence de branche distante invalide dans Git ?

Question

Dans mon repo actuel, j'ai le résultat suivant :

$ git branch -a
* master
  remotes/origin/master
  remotes/public/master

Je veux supprimer remotes/public/master de la liste des branches :

$ git branch -d remotes/public/master
error: branch 'remotes/public/master' not found.

De même, la sortie de git remote est étrange, puisqu'il n'énumère pas public :

$ git remote show 
origin

Comment puis-je supprimer 'remotes/public/master' de la liste des branches ?

Mise à jour, j'ai essayé le git push commandement :

$ git push public :master
fatal: 'public' does not appear to be a git repository
fatal: The remote end hung up unexpectedly

Answer 1

Vous avez peut-être besoin d'un nettoyage :

git gc --prune=now

ou vous pourriez avoir besoin d'un pruneau :

git remote prune public

pruneau

Supprime toutes les branches de suivi périmées sous <nom>. Ces branches périmées ont déjà été supprimées du référentiel distant référencé par <nom>, mais sont toujours disponibles localement dans "remotes/<nom>".

Avec l'option --dry-run, les branches à élaguer sont signalées, mais elles ne sont pas élaguées.

Cependant, il semble que ceux-ci auraient dû être nettoyés plus tôt avec

git remote rm public 

rm

Supprimez la branche distante nommée <nom>. Toutes les branches de suivi à distance et les paramètres de configuration pour le distant sont supprimés.

Il se peut donc que vous ayez édité votre fichier de configuration à la main et que cela ne se soit pas produit, ou que vous ayez des problèmes de privilèges.

Peut-être qu'il faut recommencer et voir ce qui se passe.

---

Contexte des conseils

Si vous jetez un coup d'œil à la journaux de révision Vous remarquerez que j'ai suggéré des techniques plus "correctes", qui, pour une raison ou une autre, n'ont pas voulu fonctionner sur leur référentiel.

Je soupçonne que l'OP a fait quelque chose qui a laissé son arbre dans un état incohérent qui a causé un comportement un peu étrange, et git gc était nécessaire pour réparer les restes.

Habituellement git branch -rd origin/badbranch est suffisant pour détruire une branche de suivi locale, ou bien git push origin :badbranch pour détruire une branche distante, et généralement vous nunca besoin d'appeler git gc

Answer 2

Tout ce que vous devez faire, c'est

git fetch -p

Cela supprimera toutes vos branches locales qui sont supprimées à distance.

Si vous êtes sous git 1.8.5+, vous pouvez régler cela automatiquement.

git config fetch.prune true

ou

git config --global fetch.prune true

Answer 3

git push public :master

Cela supprimerait la branche distante nommée master comme l'a souligné Kent Fredric.

Pour lister les branches de suivi à distance :

git branch -r

Pour supprimer une branche de suivi à distance :

git branch -rd public/master

Answer 4

Tout ce que vous devez faire est

$ git branch -rd origin/whatever 

C'est aussi simple que cela. Il n'y a pas de raison d'appeler un gc ici.

Answer 5

git gc --prune=now n'est pas ce que vous voulez.

git remote prune public

ou git remote prune origin # si c'est la source distante

c'est ce que vous voulez