Subject: Re: [boost] [Git] Pull requests and rebasing
From: Thomas Heller (thom.heller_at_[hidden])
Date: 2015-04-17 00:54:53
Am 17.04.2015 12:52 vorm. schrieb "Gavin Lambert" <gavinl_at_[hidden]>:
> On 16/04/2015 23:00, John Maddock wrote:
>> So I have a rebase vs pull question:
> Also note that Github has convenience tools for automatically merging
PRs, although the downside of that is that you don't get to test the
results before they end up on your mainline branch.
That can be easily accomplished with travis-ci or circle-ci. I prefer the
latter, tight docker integration and no time limit.
> Unsubscribe & other changes:
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk