On Tue, Aug 21, 2012 at 5:22 PM, Om <bigosma...@gmail.com> wrote:
> For interest here's how I applied the patch: > >> curl https://github.com/apache/flex/pull/7.patch | patch -p1 >> >> So I think we can say that this is the best way on how to apply github >> pull requests. Now just have to work out how to close them in github :-) >> >> > Maybe this helps? > > http://developer.github.com/v3/pulls/ > > Update a pull request > > PATCH /repos/:user/:repo/pulls/:number > > Input title *Optional* *string* body *Optional* *string* state *Optional* > *string* - State of this Pull Request. Valid values are open and closed. > > { > "title": "new title", > "body": "updated body", > "state": "open"} > > > https://issues.apache.org/jira/browse/INFRA-4152 has some interesting thoughts on automatically closing pull requests on GitHub.
