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"}