GitLab Migration (CI heads-up)

[Ben Gamari]

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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 487 bytes
Desc: not available
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20181222/b45177b9/attachment.sig>