git clone on travis doesn't work

Shayne Fletcher shayne.fletcher at
Sun Mar 10 02:32:06 UTC 2019

On Sat, Mar 9, 2019 at 9:09 PM Michael Sloan <mgsloan at> wrote:

> Ah, probably so, thanks!
> On Sat, Mar 9, 2019 at 6:05 PM Brandon Allbery <allbery.b at>
> wrote:
> >
> > I think the public name is pointed to the staging site because the main
> one is down for the trac to github migration.

That's exactly it - been down Sat. I guess it will take as long as it takes!

> >>> > For now I've just done "git config --global http.sslverify false"
>> > temporarily to do the pull.  Perhaps this is Shayne Fletcher's cheeky
> >> > workaround? :)

No, that ain't it :)

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