git forget -- cleanup your local git branches

Like most modern developer workflows, my workflow is based around Pull Requests. The ability to quickly create a feature branch to test something out is invaluable. But what happens to all of those local branches after the pull request has been merged and deleted on Github? Typcially I forget about…