git clone on travis doesn't work

Oleg Grenrus oleg.grenrus at
Sat Mar 9 09:56:16 UTC 2019

At least at some point travis refused to clone git:// (over ssh) urls; but https:// works fine. As ghcs’ submodules are relative it /should just work/

- Oleg

Sent from my iPhone

> On 9 Mar 2019, at 8.22, Ben Gamari <ben at> wrote:
> Shayne Fletcher via ghc-devs <ghc-devs at> writes:
>> 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.
> I feel like I'm missing something here. I recall you mentioned this in
> your previous message but there I'm still lacking crucial context. Can
> you offer any additional details? How exactly does it fail?
> In principle there is no reason why cloning from from
> Travis shouldn't work. I'd be happy to fix the issue if there is one but
> without knowing more I'm pretty powerless to change the situation.
> Cheers,
> - Ben
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at

More information about the ghc-devs mailing list