>> [...] – we could add `[skip ci]` to avoid that. Shall I do that
>> for this commit and similar ones in the future?
>
> Can you make it so that it'll skip CI in the initial MR upload and
> in subsequent iterations, but still spawn a pipeline when merging?
Is this possible? AFAIK, there is only the option between CI and no
CI...
> As long as we aren't short on CI resources, I prefer keeping
> the rule that a change is only merged to master after a successful
> pipeline, [...]
OK, then I won't do it.
Werner
