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 <edit...@gmail.com> 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 <edi...@gmail.com> 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 elm-discuss...@googlegroups.com. >>> 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 elm-discuss+unsubscr...@googlegroups.com > <javascript:_e(%7B%7D,'cvml','elm-discuss%2bunsubscr...@googlegroups.com');> > . > For more options, visit https://groups.google.com/d/optout. > -- Sent from Gmail Mobile -- 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 elm-discuss+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.