le nettoyage de la vieille distance branches git

Voici mon workflow git.

Je travaille à partir de deux ordinateurs différents (A et B) et de stocker une commune git distant dans le répertoire dropbox.

Disons que j'ai deux branches de master et de devel. Les deux sont le suivi de leur distance homologues origin/master et d'origine/devel.

Maintenant, alors que sur Un ordinateur, j'ai supprimer la branche devel - en local et à distance - comme suit:

git push origin :heads/devel

git branch -d devel

Maintenant, si je ne git branch -a sur Un ordinateur, je reçois

master
origin/HEAD
origin/master

Je passe maintenant à l'ordinateur B. Ne git fetch. Je peux supprimer le local de la branche devel par

git branch -d devel

Mais je ne peux pas retirer la télécommande branche devel.

git push origin :heads/devel

error: unable to push to unqualified destination: heads/proxy3d
The destination refspec neither matches an existing ref on the remote nor
begins with refs/, and we are unable to guess a prefix based on the source ref.
fatal: The remote end hung up unexpectedly

Faire git branch -a encore les listes origine/devel dans les branches distantes.

Comment puis-je nettoyer la télécommande de l'entrée de devel de la machine B?

  • J'ai été dit par quelqu'un qui l'a essayé, que les dépôts git dans la boîte de dépôt des dossiers sont un peu fragiles (mais sans plus de détails).
  • probablement parce que vous avez à attendre pour s'assurer qu'il synchronise complètement à chaque fois que vous s'engager, avant d'être sûr qu'il est sûr à utiliser sur l'autre machine (et un autre de synchronisation nécessaires, même à l'époque).