Tip: When you delete branches using
git branch -d <branchname> # deletesDeletes local branch
or
git push origin :<branchname> # deletesDeletes 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 <repository>
This is typically git remote prune origin
.