www.digitalmars.com         C & C++   DMDScript  

digitalmars.D - [OT] GitHub pull request automation

reply Johann MacDonagh <johann.macdonagh..no spam..gmail.com> writes:
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.
Jun 23 2011
next sibling parent Andrei Alexandrescu <SeeWebsiteForEmail erdani.org> writes:
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
Jun 23 2011
prev sibling parent jdrewsen <jdrewsen nospam.com> writes:
Den 23-06-2011 12:05, Johann MacDonagh skrev:
 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.

Very nice!
Jun 23 2011