GitLab Migration (CI heads-up)

[Gabor Greif]

Yeah, it starts now, thanks!

However it won't terminate due to a restrictive time limit of 60 mins.
Can we have 120?

    Gabor

On 12/22/18, Ben Gamari <ben at smart-cactus.org> wrote:
> Gabor Greif <ggreif at gmail.com> writes:
>
>> (following-up own mail)
>>
>> This seems resolved too. I have submitted my branch into the main
>> repo, and now the pipeline is executing :-)
>>
>> Still, do we want running pipelines for external contributors too?
>>
> Indeed we do. Small oversight on my part; now fixed.
>
> Thanks!
>
> Cheers,
>
> - Ben
>