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

Reply via email to