[OT] GitHub pull request automation

[Johann MacDonagh]

Found this on reddit:

http://www.splitbrain.org/blog/2011-06/19-automate_github_pull_requests

Adds a new "git pull-request" command. Without any arguments, it lists 
all the pull requests for your repo. If you give it the pull request 
number, it will automatically create a new branch and pull down the 
request. You can then test it out, merge it into master (maybe test 
after you merge ;) ), and push.

It may help out with the large number of pull requests that can't be 
automatically merged that the GitHub projects seem to be getting.