<div dir="ltr"><div dir="ltr"><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small">Hi Ben,</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Mar 14, 2019 at 5:05 PM Ben Gamari <<a href="mailto:ben@well-typed.com">ben@well-typed.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);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>
> I'm between a rock and a hard place here. I appreciate gitlab hosts the<br>
> official upstream (and at work use it extensively). We do however also<br>
> maintain a fork of the github mirror on github (rightly or wrongly) and its<br>
> existence and correctness is critical to some of our workflows.<br>
<br>
Hi Shayne,<br>
<br>
I have been working to resolve the issue. Unfortunately, the process has<br>
been complicated by the fact that GitHub has flagged our mirror account<br>
as a bot and the credentials of an older mirror account have been lost<br>
to history. I am engaging with GitHub to resolve this but this has taken<br>
longer than expected. I will leave updates on the tracking ticket [1] as<br>
the situation develops.<br>
<br>
In the meantime I have manually updated these GitHub mirror<br>
repositories. I will try to do this on a daily basis until the situation<br>
is resolved.<br>
<br>
> So, beyond this issue today which I assume to be temporary, going<br>
> forward can I assume no guarantees about its reliability and do I have<br>
> to advocate rejigging those aforementioned workflows so that github is<br>
> out of the picture?<br>
><br>
In general the mirror is maintained and we have no intention of dropping<br>
it. However, in the last week other responsibilities, coupled with the<br>
latency of working with GitHub support, has meant that bringing it back<br>
online has taken longer than I would have preferred. Sorry for the<br>
inconvenience.<br></blockquote><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small"><br>Not at all Ben. All totally understandable and I hope you know how much I (we) appreciate how much you are doing for us! If I gave a different impression in my original post, please be assured, that wasn't intentional :)<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<br>
However, do keep in mind that even when working normally the GitHub<br>
mirror has a synchronization period of 20 minutes; if your systems<br>
depend upon having a consistent picture of the GHC repositories then<br>
you might consider using the official upstream.<br></blockquote><div><br><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small">We can totally live with the synchronization lag in this instance. In summary, I'm happy to leave things be with the understanding that stability to will naturally improve and we just need to demonstrate some patience while things get ironed out!<br><br>Thanks for taking time out to catch me up!</div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<br>
Cheers,<br>
<br>
- Ben<br>
<br>
<br>
[1] <a href="https://gitlab.haskell.org/bgamari/gitlab-migration/issues/11" rel="noreferrer" target="_blank">https://gitlab.haskell.org/bgamari/gitlab-migration/issues/11</a><br>
<br>
-----BEGIN PGP SIGNATURE-----<br>
<br>
iQEzBAEBCAAdFiEEmwpsh4C13+CdDZRjcVB86Evun78FAlyKwfcACgkQcVB86Evu<br>
n78CJQf/V19WmieWw6fs+rCSFEtfZvsQW+wFtDewqrpBgvW5hIC3Br3s032DCEUA<br>
nc8N3EteX9GExwNO7KkzCb/6vosmm9O7r+s3MQdY3CB69K0Yg3uXwfUXjttoneXB<br>
l65fIonx5pcgvVFsa2QLIyOmYUq3lpZg0MEQjtLBZBnWa2H4WylRyU3hIdmMQZui<br>
Ttt0TcJ4pWNGf3DgXU1EPD7FLdTkjlX2lptxh+r3uRzrqgGTSGCplOFJVk6ER8xA<br>
WqQho8lGz1DAuU2noezQZLDGR7dbhk7ZFUT2ycubNBi5UdSicoSW5H1zXZ+9vaJK<br>
7vx1i3crhurIrjEcteKTLsmZBr4oWg==<br>
=gqDF<br>
-----END PGP SIGNATURE-----</blockquote></div><br clear="all"><div><br></div>-- <br><div dir="ltr" class="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div dir="ltr"><div style="letter-spacing:normal;padding:10px 0px 10px 10px;width:300px;max-width:300px;color:rgb(26,40,77);font-size:12px"><div style="color:rgb(33,33,33);font-size:13px"><div><div><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div style="padding:10px 0px 10px 10px;width:300px;max-width:300px;color:rgb(26,40,77);font-size:12px"><font face="trebuchet ms, sans-serif"><span style="font-weight:bold;font-size:14px">Shayne Fletcher</span><br>Language Engineer<br><span style="font-weight:600">c:</span> <span style="color:rgb(96,138,216)">+1 917 699 7763</span><br><span style="font-weight:600">e:</span> <a href="mailto:shayne.fletcher@daml.com" target="_blank">shayne.fletcher@daml.com</a></font></div><div style="font-family:Karla,sans-serif;background-color:rgb(242,245,250);width:300px;max-width:300px;padding:0px 0px 10px 10px;font-size:12px;color:rgb(98,119,146);border-bottom:4px solid rgb(32,50,96)"><img src="https://s3.amazonaws.com/digitalasset.com/Digital+Asset+Logo+-+small+-+pad.png" style="border: 0px; vertical-align: middle; max-width: 100%; height: auto; display: block; width: 120px;">Digital Asset Holdings, LLC<br>4 World Trade Center <a href="https://maps.google.com/?q=150+Greenwich+Street,+47th+Floor%C2%A0+%C2%A0+%C2%A0+%C2%A0+%C2%A0+New+York,+NY+10007,+USA&entry=gmail&source=g" style="color:rgb(126,87,194)" target="_blank">150 Greenwich Street, 47th Floor </a><br><a href="https://maps.google.com/?q=150+Greenwich+Street,+47th+Floor%C2%A0+%C2%A0+%C2%A0+%C2%A0+%C2%A0+New+York,+NY+10007,+USA&entry=gmail&source=g" style="color:rgb(126,87,194)" target="_blank">New York, NY 10007, USA</a><br><a href="http://www.digitalasset.com/" style="color:rgb(96,138,216);background-color:transparent;outline:none 0px" target="_blank">digitalasset.com</a></div><br></div></div></div></div></div></div></div><div style="font-family:sans-serif;color:rgb(33,33,33);font-size:13px"></div></div></div></div></div></div></div></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>