La mia situazione è questa ... qualcuno che lavora sullo stesso repository ha eliminato un ramo dal suo repository locale e remoto ...
La maggior parte delle persone che hanno chiesto informazioni su questo tipo di problema su Stack Overflow o su altri siti hanno il problema delle filiali che continuano a essere visualizzate nella lista delle filiali di monitoraggio remoto git branch -a
in basso:
* master
develop
feature_blah
remotes/origin/master
remotes/origin/develop
remotes/origin/feature_blah
remotes/origin/random_branch_I_want_deleted
Tuttavia, nella mia situazione il ramo che non dovrebbe essere lì, è locale:
* master
develop
feature_blah
random_branch_I_want_deleted
remotes/origin/master
remotes/origin/develop
remotes/origin/feature_blah
Quando eseguo una delle seguenti operazioni, non viene rimosso localmente:
$ git prune
Ho anche provato:
$ git remote prune origin
$ git fetch --prune
Altre informazioni utili: quando controllo git remote show origin
questo è come appare:
* 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)
Si noti che è solo nella sezione intitolata Local branches configured for 'git pull':
Perché?
x/y
): è stato corretto (vedi la mia risposta di seguito )
git branch -d the_local_branch