Situasi saya adalah ini ... seseorang yang mengerjakan repo yang sama telah menghapus cabang dari repo lokal & jauh ...
Sebagian besar orang yang bertanya tentang masalah seperti ini di Stack Overflow, atau situs lain memiliki masalah cabang yang masih ditampilkan di daftar cabang pelacakan jarak jauh mereka git branch -a
di bagian bawah:
* master
develop
feature_blah
remotes/origin/master
remotes/origin/develop
remotes/origin/feature_blah
remotes/origin/random_branch_I_want_deleted
Namun, dalam situasi SAYA cabang yang seharusnya tidak ada, adalah lokal:
* master
develop
feature_blah
random_branch_I_want_deleted
remotes/origin/master
remotes/origin/develop
remotes/origin/feature_blah
Ketika saya melakukan salah satu dari yang berikut ini, itu tidak bisa dihapus secara lokal:
$ git prune
Saya juga mencoba:
$ git remote prune origin
$ git fetch --prune
Info lebih berguna: Ketika saya memeriksa git remote show origin
ini tampilannya:
* 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)
Perhatikan bahwa ini hanya ada di bagian berjudul Local branches configured for 'git pull':
Mengapa?
x/y
): sudah diperbaiki (lihat jawaban saya di bawah )
git branch -d the_local_branch