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’.