Help

Bienvenue !

Cette communauté est déidée aux professionnels et aux personnes intéressées par nos produits et services.
Partagez et discutez du meilleur contenu et de nouvelles idées marketing, construisez votre profil professionnel et devenez de meilleurs marketeurs ensemble.

0

Comment supprimer des branches Github qui ne sont plus sur le remote

Avatar
Xavier Mukalamushi

Dans mon arborescence locale, j'ai des branches qui ont été supprimées du repository github.

Comment les supprimer pour gagner de l'espace.

Avatar
Discard
1 Answer
0
Avatar
LUBA Vincent
Best Answer

Bonsoir,

Voici une solution:

git branch -r | egrep -v -f /dev/fd/0  

NB: Cette méthode ne supprime pas les branches non fusionnées

Avatar
Discard