Pull a pull request

Sometimes the diff isn't enough and you actually want to play with the code
in a pull request. Here's how.