github - Delete remote branch displayed on local by 'git branch -a' -
I am using the MathHub, when I git branch -a , it looks like this Is: / P> Master / Remote / Original / Head Remote / Origin / Development / Remote / Origin / Master Remote / Genesis / Feature 001 Remote / Origin / Feature 002 Remotes / Origin To develop / Feature 003 / I removed the feature 2001 ~ 003 on GitHub.com, how do I delete them locally? I mean when i git branch -a common You should just run git fetch -p (or - prune , to run the same meaning), however, a bug (which is being fixed) that ever - Always need to run git remote --prune ; See. (You can delete your name completely by using git update-ref -d or by editing the built-in GIT store files and directories if necessary.)