Let's say I had a branch named coolbranch in my repository.
Now, I decided to delete it (both remotely and locally) with:
git push origin :coolbranch git branch -D coolbranch Great! Now the branch is really deleted.
But when I run
git branch -a I still get:
remotes/origin/coolbranch Something to notice, is that when I clone a new repository, everything is fine and git branch -a doesn't show the branch.
I want to know - is there a way to delete the branch from the branch -a list without cloning a new instance?
git fetch -p(orgit pull -p) then remote branches will be pruned.