[OT] GitHub pull request automation

[Andrei Alexandrescu]

On 6/23/11 5:05 AM, Johann MacDonagh wrote:
> 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.

This is very useful, thanks!

Andrei