Hey guys,
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
[1]
https://github.com/github/hub
[2]
https://github.com/richwidgets/richwidgets/pull/93#issuecomment-27893868