Using Hub for managing Pull Requests

[Brian Leathem]

+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 [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 at lists.jboss.org
> https://lists.jboss.org/mailman/listinfo/richfaces-dev