On: Checkout github pull requests locally

The downside with this approach is that, with active projects, you end up with hundreds of remote branches. They'll never get deleted with `fetch -p`, and if you remove them manually they'll just come back.