FYI: GitHub appears to be having some problems with it's pull request view currently. Clicking on Pull Requests are giving 500 errors.