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.Likewise there's nothing stopping you applying an emailed patch in your local copy and then pushing to github.This post seems to be making a mountain out of a molehill.