Mi situación es esta ... alguien que trabaja en el mismo repositorio ha eliminado una rama de su repositorio local y remoto ...
La mayoría de las personas que han preguntado sobre este tipo de problema en Stack Overflow u otros sitios tienen el problema de que las sucursales todavía se muestran en su lista de sucursales de seguimiento remoto git branch -a
en la parte inferior:
* master
develop
feature_blah
remotes/origin/master
remotes/origin/develop
remotes/origin/feature_blah
remotes/origin/random_branch_I_want_deleted
Sin embargo, en MI situación, la rama que no debería estar allí, es local:
* master
develop
feature_blah
random_branch_I_want_deleted
remotes/origin/master
remotes/origin/develop
remotes/origin/feature_blah
Cuando hago algo de lo siguiente, no se elimina localmente:
$ git prune
También probé:
$ git remote prune origin
$ git fetch --prune
Más información útil: cuando verifico git remote show origin
así es como se ve:
* 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)
Tenga en cuenta que solo está en la sección titulada Local branches configured for 'git pull':
¿Por qué?
x/y
): se ha solucionado (vea mi respuesta a continuación )
git branch -d the_local_branch