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