git clone on travis doesn't work

Shayne Fletcher shayne.fletcher at
Fri Mar 8 14:16:49 UTC 2019

I appreciate this isn't really "our" problem :) Nonetheless, if there's any
config we can do on the repo on gitlab, that would be cool. Other URLs
(like github) for example are fine - something specific to gitlab.

This message, and any attachments, is for the intended recipient(s) only, 
may contain information that is privileged, confidential and/or proprietary 
and subject to important terms and conditions available at 
<>. If you are not the 
intended recipient, please delete this message.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the ghc-devs mailing list