Vous pouvez supprimer la distance de suivi de la branche à l'aide de
git branch -d -r origin/<remote branch name>
comme VonC mentionne ci-dessus. Toutefois, si vous gardez votre copie locale de la branche, git push
sera toujours essayer de pousser la branche (qui pourrait vous donner un non-avance rapide d'erreur comme il l'a fait pour ruffin). C'est parce que la config push.default
par défaut est matching
qui signifie:
correspondant pousser tous les branches. Toutes les branches ayant le même nom dans les deux extrémités sont considérés comme de la correspondance. C'est la valeur par défaut.
(voir http://git-scm.com/docs/git-config en vertu de l' push.default
)
Vu que c'est probablement pas ce que vous vouliez quand vous avez supprimé la distance de suivi de branche, vous pouvez configurer push.default
de upstream
(ou tracking
si vous avez git < 1.7.4.3)
de l'amont à pousser le courant branche à son amont de la branche.
à l'aide de
git config push.default upstream
et git va cesser d'essayer de pousser les branches qui vous ont "arrêté de suivi."
Remarque: la solution La plus simple serait de simplement renommer votre agence locale pour quelque chose d'autre. Cela permettrait d'éliminer certains risques de confusion, aussi bien.