Git: Remove Dead Branches

It's very common near the end of a project to have a hot pile of dead branches : branches that originally tracked something upstream but have since been deleted. Your original super-awesome-feature branch was merged via PR (pull request) on GitHub and deleted there after review, but you still have it locally, which means the branch is now considered dead. Manually cleaning up these branches can be…