Re: GitLab Migration (CI heads-up)

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 wrote:

Gabor Greif 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