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 _______________________________________________ richfaces-dev mailing list richfaces-dev(a)lists.jboss.org https://lists.jboss.org/mailman/listinfo/richfaces-dev