<div dir="ltr"><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sat, Mar 9, 2019 at 1:23 AM Ben Gamari <<a href="mailto:ben@well-typed.com">ben@well-typed.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Shayne Fletcher via ghc-devs <<a href="mailto:ghc-devs@haskell.org" target="_blank">ghc-devs@haskell.org</a>> writes:<br>
<br></blockquote><div>[...] </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I feel like I'm missing something here. I recall you mentioned this in<br>
your previous message but there I'm still lacking crucial context. Can<br>
you offer any additional details? How exactly does it fail?<br>
<br></blockquote><div><br>git clone <a href="https://gitlab.haskell.org/ghc/ghc.git" style="outline:transparent solid 1px">https://gitlab.haskell.org/ghc/ghc.git</a> fails on Travis Linux Ubuntu VMs with "fatal: unable to access '<a href="https://gitlab.haskell.org/ghc/ghc.git/">https://gitlab.haskell.org/ghc/ghc.git/</a>': gnutls_handshake() failed: Handshake failed.<br><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">In principle there is no reason why cloning from <a href="http://gitlab.haskell.org" rel="noreferrer" target="_blank">gitlab.haskell.org</a> from<br>
Travis shouldn't work. I'd be happy to fix the issue if there is one but<br>
without knowing more I'm pretty powerless to change the situation.<br>
<br></blockquote><div><br><div><div>The issue as I understand relates to gitlab's use of the "Let's Encrypt" certificate authority. Apparently this is a relatively new authority and is unrecognized by the SSL software on the Ubuntu VM that Travis provides. I don't know of any workarounds at this time that can be applied in the VM that to overcome this problem. I also don't know if anything can be done on the gitlab side to mitigate it but suspect not. I do have a procedure that allows me to side-step the problem for my own case and can share that with anyone that needs it.<br><br></div></div></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Cheers,<br>
<br>
- Ben<br>
<br></blockquote><div><br><br></div></div></div>

<br>
<span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:12.8000001907349px;background-color:rgb(255,255,255)">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 </span><a href="http://www.digitalasset.com/emaildisclaimer.html" style="color:rgb(17,85,204);font-family:arial,sans-serif;font-size:12.8px;background-color:rgb(255,255,255)" target="_blank">http://www.digitalasset.<wbr>com/emaildisclaimer.html</a><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:12.8000001907349px;background-color:rgb(255,255,255)">. If you are not the intended recipient, please delete this message.</span>