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.

Cette question a été signalée
1 Répondre
942 Vues

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
Ignorer

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
Ignorer