Re: Continuous integration

[Toon Claes]

Eli Zaretskii <address@hidden> writes:

>> From: Ted Zlatanov <address@hidden>
>> Date: Wed, 22 Mar 2017 09:14:58 -0400
>> 
>> Absolutely. I think the benefits reach beyond that--especially if a pull
>> request workflow could be set up. Right now it's "push into branch; ask
>> for comments" which is delightfully retro.
>
> Actually, it's more like "obtain write access, then push your changes
> directly".

A platform like GitLab relies heavily on pushing code to feature
branches, and merge to master when someone approves. I know this is a
big change compared to the current workflow, that's why I am proposing
to start of by setting up CI (which will work with either workflow).

-- Toon