Prune those branches
2015-12-14
Remember to prune old branches that are no longer present in the remote repository.
git fetch --prune
And delete the branch on the remote:
git push origin :${BRANCH_NAME}
Which means, ‘push nothing into this remote branch’.