Ma situation est la suivante ... quelqu'un travaillant sur le même référentiel a supprimé une branche de son référentiel local et distant ...
La plupart des personnes qui ont posé des questions sur ce type de problème sur Stack Overflow ou sur d'autres sites ont le problème des branches toujours affichées dans leur liste de branches de suivi à distance git branch -a
en bas:
* master
develop
feature_blah
remotes/origin/master
remotes/origin/develop
remotes/origin/feature_blah
remotes/origin/random_branch_I_want_deleted
Cependant, dans MA situation, la branche qui ne devrait pas être là est locale:
* master
develop
feature_blah
random_branch_I_want_deleted
remotes/origin/master
remotes/origin/develop
remotes/origin/feature_blah
Lorsque je fais l'une des actions suivantes, elle n'est pas supprimée localement:
$ git prune
J'ai aussi essayé:
$ git remote prune origin
$ git fetch --prune
Plus d'informations utiles: Lorsque je vérifie, git remote show origin
voici à quoi cela ressemble:
* remote origin
Fetch URL: utilities:homeconnections_ui.git
Push URL: utilities:homeconnections_ui.git
HEAD branch: master
Remote branches:
master tracked
develop tracked
feature_blah tracked
other123 tracked
other444 tracked
other999 tracked
Local branches configured for 'git pull':
develop merges with remote develop
feature_blah merges with remote other999
master merges with remote master
random_branch_I_want_deleted merges with remote random_branch_I_want_deleted
Local refs configured for 'git push':
develop pushes to develop (local out of date)
master pushes to master (up to date)
feature_blah pushes to feature_blah(up to date)
Notez que ce n'est que dans la section intitulée Local branches configured for 'git pull':
Pourquoi?
x/y
): elle a été corrigée (voir ma réponse ci-dessous )
git branch -d the_local_branch