Je travaille à partir de deux ordinateurs différents (A et B) et stocke une télécommande git commune dans le répertoire dropbox.
Disons que j'ai deux branches, master et devel. Les deux suivent l'origine / le maître et l'origine / le développement de leurs homologues distants.
Maintenant, sur l'ordinateur A, je supprime la branche devel, sur local et distant.
git push origin :heads/devel
git branch -d devel
Fonctionnant git branch -a
sur l'ordinateur A, j'obtiens la liste de branches suivante.
- Maître
- origine / TETE
- origine / maître
En cours git fetch
d' exécution sur l'ordinateur B, je peux supprimer la branche de développement local avec git branch -d devel
, mais je ne peux pas supprimer la branche de développement à distance.
git push origin :heads/devel
renvoie les messages d'erreur suivants.
erreur: impossible de pousser vers une destination non qualifiée: heads / proxy3d
La spécification de destination ne correspond ni à une référence existante sur la télécommande ni ne commence par refs /, et nous ne pouvons pas deviner un préfixe basé sur la référence source.
fatal: l'extrémité distante a raccroché de façon inattendue
git branch -a
répertorie toujours l'origine / le développement dans les branches distantes.
Comment nettoyer les branches distantes de l'ordinateur B?