I want to delete a branch both locally and remotely.
$ git branch -d
Tip: When you delete branches using
git branch -d # Deletes local branch
or
git push origin : # Deletes remote branch
only the references are deleted. Even though the branch is actually removed on the remote, the references to it still exists in the local repositories of your team members. This means that for other team members the deleted branches are still visible when they do a git branch -a
.
To solve this, your team members can prune the deleted branches with
git remote prune
This is typically git remote prune origin
.