Leaving Github
You can still get the full git diff out of a pull request by appending .diff to the pull request URL on github. Even better, you can get output similar to git send-email by appending .patch.<p>Likewise there's nothing stopping you applying an emailed patch in your local copy and then pushing to github.<p>This post seems to be making a mountain out of a molehill.