we should consolidate our efforts with Pull Requests.
Lately I use Hub [1] for merging Pull Requests successfully by using:
$ hub am -3 <pull_request_github_url>
which effectively accepts pull request commits on the top of the master (rebase strategy).
As it is pretty straight-forward, it doesn't add too much overhead to merging.
----
Brian recently raised an idea [2] that we could leverage Hub more broadly.
I know that it works nice even in other cases like sending pull requests.
Has someone already used Hub?
~ Lukas