17 Apr
2015
17 Apr
'15
4:54 a.m.
Am 17.04.2015 12:52 vorm. schrieb "Gavin Lambert"
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: