Suppression des branches distantes inexistantes

Lors d'un developpement j'ai créé une branche "add_namespace" qui m'a permis d'ajouté des namespaces a différents fichiers PHP.

Une fois la modification faite j'ai envoyé ma branche sur l'origin, en faisant un "pull request" (github) ou "merge request" (gitlab).

Un autre développeur a accepté mon pull request (il a donc mergé la branche) et a supprimé ma branche de l'origine.

Sur mon environnement je vois toujours cette branche.

git branch -a

* master

remote/origin/HEAD -> origin/master

remote/origin/add_namespace

remote/origin/master

Pour pouvoir effacer cette branche dans le remote, il suffit de tapper la commande :

git remote prune origin

Élimination de origin

URL : git@git.mondomain.com:mondepot.git

* [éliminé] origin/add_namespace

Maintenant, vérifions que tout est propre :

git branch -a

* master

remote/origin/HEAD -> origin/master

remote/origin/master