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. – yoyo