Merge Pull Request Considered Harmful
Hm... this seems like a very complicated way of saying that github should have a way to merge pull requests into a new branch....but it doesn't so you have to:    - checkout a local copy
    - add a remote to the PR
    - checkout a new branch
    - merge the PR into your local branch
    - fix code, merge to master

Which is entirely true; it is annoying.The simple solution, though, is to require pull requests to come in a feature branch, and flat out reject any that target master. /shrug