Re: new procedure with GitLab CI

[Valentin Villenave]

On 5/27/20, Valentin Villenave <address@hidden> wrote:
> On 5/27/20, Jonas Hahnfeld <address@hidden> wrote:
>> We do want to have the pipeline on the commit before it is merged
>> because this replaces patchy.
>
> Well, that’s absolutely crucial at the MR review stage. But after passing
[sorry, I forgot to end that sentence]
… After passing the review and countdown process, the need for CI
testing decreases.  So an option to bypass the pipeline when we reach
the “rebase & merge” stage wouldn’t necessarily be harmful.

V.