Actually, the flakiness of github is one of our biggest problems of elm in production. So we have internal caching mirrors
On Saturday, June 25, 2016, Tobias Hermann <[email protected]> wrote: > No Problem. I think github usually can be considered very reliable though. > > > On Saturday, June 25, 2016 at 8:41:23 PM UTC+2, Evan wrote: >> >> Seems to be back! Actually sitting on the plane now, so I'm glad I found >> out before it took off. >> >> Sorry for the trouble. I have some plans for package.elm-lang.org >> that'll make download mirrors possible, so we'll be less open to problems >> like this. >> >> On Saturday, June 25, 2016, Tobias Hermann <[email protected]> wrote: >> >>> OK, thanks for the information. Have a nice flight. :) >>> >>> >>> On Saturday, June 25, 2016 at 7:58:58 PM UTC+2, Evan wrote: >>>> >>>> It is a GitHub problem. I have opened a support ticket and reached out >>>> to them on Twitter >>>> <https://twitter.com/czaplic/status/746761566255779840>. >>>> >>>> Hopefully it will be resolved soon. Though since it is Saturday, the >>>> support staff is probably not in the office... Not really sure what actions >>>> to take. I will be getting on a flight soon as well, so I can try more >>>> things once I land. >>>> >>>> On Sat, Jun 25, 2016 at 1:30 PM, Tobias Hermann <[email protected]> >>>> wrote: >>>> >>>>> Just wanted to compile something using evancz/elm-markdown and the >>>>> download failed <http://i.imgur.com/aIjs3Kv.png>. Is this a github >>>>> problem or have things moved? >>>>> >>>> -- > You received this message because you are subscribed to the Google Groups > "Elm Discuss" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected] > <javascript:_e(%7B%7D,'cvml','elm-discuss%[email protected]');> > . > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "Elm Discuss" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
