Git remote branch supprimé, mais il apparaît toujours dans 'branch -a'

Disons que j'avais une branche nommée coolbranchdans mon référentiel.

Maintenant, j'ai décidé de le supprimer (à distance et localement) avec:

git push origin :coolbranch
git branch -D coolbranch

Génial! Maintenant, la branche est vraiment supprimée.

Mais quand je cours

git branch -a

Je reçois toujours:

remotes/origin/coolbranch

Quelque chose à noter, c'est que lorsque je clone un nouveau référentiel, tout va bien et git branch -an'affiche pas la branche.

Je veux savoir - existe-t-il un moyen de supprimer la branche de la branch -aliste sans cloner une nouvelle instance?

git remote prune origin, comme suggéré dans l'autre réponse, supprimera toutes ces branches périmées. C'est probablement ce que vous voudriez dans la plupart des cas, mais si vous souhaitez simplement supprimer cette branche de suivi à distance particulière, vous devez faire:

git branch -d -r origin/coolbranch

(Il -rest facile d'oublier ...)

-rdans ce cas, "Liste ou supprime (si utilisé avec -d) les branches de suivi à distance". selon la documentation Git trouvée ici: https://git-scm.com/docs/git-branch

Essayer:

git remote prune origin

Dans la documentation distante de Git :

prune

Supprime toutes les branches de suivi à distance 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 "télécommandes / <nom>".

Avec l'option --dry-run, indiquez quelles branches seront élaguées, mais ne les élaguez pas réellement.

N'oubliez pas le génial

git fetch -p

qui va chercher et tailler toutes les origines.

Dans notre cas particulier, nous utilisons Stash comme référentiel Git distant. Nous avons essayé toutes les réponses précédentes et rien ne fonctionnait. Nous avons fini par devoir faire ce qui suit:

git branch –D branch-name (delete from local)
git push origin :branch-name (delete from remote)

Ensuite, lorsque les utilisateurs sont allés retirer des modifications, ils devaient effectuer les opérations suivantes:

git fetch -p

Utilisation:

git remote prune <remote>

Où se <remote>trouve un nom de source distante comme origine ou en amont .

Exemple: git remote prune origin