git clone on travis doesn't work

Shayne Fletcher shayne.fletcher at
Fri Mar 8 18:54:45 UTC 2019

Hi y'all

On Fri, Mar 8, 2019 at 9:16 AM Shayne Fletcher <shayne.fletcher at>

> 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.

If anybody else gets bitten by this, mail me privately - I can offer a
cheeky workaround!

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