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