Re: GitLab Migration (CI heads-up)

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