Suivre les conseils ici Comment supprimer une branche locale sur Github Desktop? Je suis allé de l'avant et supprimé quelques branches mortes surle site Web de github. Le problème est que d'autres peuvent toujours les voir. On m'a dit que c'était parce que les branches se trouvaient toujours sur mon référentiel local, mais lorsque je regarde Github Desktop, il me demande si je veux publier ces branches mortes, ce qui me fait penser qu'elles ne devraient pas être visibles actuellement.
Que pourrait-il se passer ici?
Réponses:
0 pour la réponse № 1C’est presque une année depuis la question initiale,mais je viens juste de commencer à utiliser github desktop et je vois aussi le problème. Avez-vous déjà trouvé une réponse? C’est peut-être tout à fait intentionnel: le simple fait de supprimer la branche distante ne signifie pas nécessairement que vous souhaitiez supprimer la branche locale.
Intéressant: si j'essaie de supprimer la branche du menu d'engrenage de github desktop quelques minutes après l'avoir supprimée sur le site Web, github desktop ouvre une boîte de dialogue disant que la branche existe à la fois en local et à distance et vous demande si je souhaite supprimer Annuler et essayer ensuite le même élément de suppression de branche dans le menu d'engrenages quelques minutes plus tard, cette boîte de dialogue n'apparaît pas et supprime simplement la branche locale en silence. J'avais appuyé sur "Sync" plusieurs fois dans l'intervalle. , alors c’est peut-être ce qui l’a fait.