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 still there! How can I delete the remote hotfix from GitHub via the command line, without having to navigate to GitHub in my browser and delete it using the Website UI?
You need to push that deletion:
git push origin --delete hotfix
(any git branch command would only have an effect on your local repo, not the GitHub remote one)
See more at "How to delete a Git branch both locally and remotely?".
A git branch -d -r only deletes a remote tracking branch, that is branches existing in the remotes/origin namespace of your local repo. GitHub (the actual remote repo) is never notified.
What you have "successfully" deleted is the "remote tracking branch" which is in your local repo and is meant to record the last SHA1 that you fetched from the upstream repo for that branch: that what a "remote tracking branch" is.
The correct sequence is:
git push origin --delete hotfix
git remote update --prune origin
That will delete the hotfix branch on the GitHub repo, and then delete any obsolete remote tracking branch in your repo.
