deleting remote branch does not remove from GitHub
I have a local branch, say hotfix . I put it up on GitHub using $ git push -u origin hotfix Then after merging the branch, I want to delete it. So I type $ git branch -d hotfix which deletes the branch locally. However, the remote branch is still on GitHub. Of course when I look at my remote branches, $ git branch -r origin/HEAD -> origin/master origin/hotfix origin/master hotfix is still there. So then I try $ git branch -r -d origin/hotfix $ git branch -r origin/HEAD -> origin/master origin/master and hotfix is gone, as expected. But then I go to GitHub and look at my branches, and hotfix is