This question already has an answer here:
I have removed a branch I have after merging it with the master. However, the locally deleted branch is not deleted on remote repo (on github).
On a suggestion in one answer here, I tried git push remote :branch
that didn't seem to help. --prune
option didn't seem to help either. I think I can go ahead and delete the branch remotely as well, but I don't want to be checking it and tracking with every branch.
Any ideas?