-
1. Re: Using Hub for managing Pull Requests
bleathem Nov 8, 2013 9:37 AM (in response to Lukáš Fryč )+1, let's give hub a shot. I particularly like the ability to add a PR
to an existing issue.
On Fri 08 Nov 2013 12:16:37 AM PST, Lukáš Fryč wrote:
Hey guys,
we should consolidate our efforts with Pull Requests.
Lately I use Hub 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 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
https://github.com/richwidgets/richwidgets/pull/93#issuecomment-27893868
>
_______________________________________________
richfaces-dev mailing list
_______________________________________________
richfaces-dev mailing list
https://lists.jboss.org/mailman/listinfo/richfaces-dev