Hub: document pulling a pull request, updating it and pushing it back

[ssbarnea]

One common use case for project maintainers is to update a broken pull request which was made by someone else.

Hub should be able to help maintainers doing the following steps:

• grab a pull request
• update the pull request (rebase or other change)
• update the pull request (aka pushing it)

[mislav]

Sure, do you mean something like:

1. hub pr checkout 123
2. git commit ...
3. git push?

Or any extra steps involved, in your experience? Where do you envision these docs to live?

[worldofpeace]

Isn't As an open-source maintainer at https://hub.github.com/ what we're looking for?

[weitzman]

FYI There is a pr but not a corresponding push in As an open source maintainer.