Hi, trac is definitely down (according to my monitor). I tried rebooting it which failed as well. I'm going to recreate it with a more powerful/expensive VM (or otherwise fix it), and we'll see how that goes.
William On Sat, Oct 22, 2016 at 3:40 AM, Eric Gourgoulhon <egourgoul...@gmail.com> wrote: > Hi, > > From France, it seems that we still cannot connect to > https://trac.sagemath.org/ > while the rest of Internet seems OK (including http://www.sagemath.org/ and > github). > I could push a new commit to trac though (the response was very slow but it > seemed to have worked). > > Eric. > > > Le vendredi 21 octobre 2016 23:26:00 UTC+2, Dima Pasechnik a écrit : >> >> GitHub Status @githubstatus 50m50 minutes ago >> >> We have migrated to an unaffected DNS provider. Some users may experience >> problems with cached results as the change propagates. >> >> >> On Friday, October 21, 2016 at 9:11:49 PM UTC, Volker Braun wrote: >>> >>> Github.com didn't resolve for me earlier, that might mess with the trac >>> plugins... >>> >>> >>> >>> On Friday, October 21, 2016 at 8:10:41 PM UTC+2, William wrote: >>>> >>>> Half the internet is down right now... >>>> >>>> >>>> http://gizmodo.com/this-is-probably-why-half-the-internet-shut-down-today-1788062835 >>>> >>>> I don't see why this would impact trac.sagemath.org though... >>>> > -- > You received this message because you are subscribed to the Google Groups > "sage-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-devel+unsubscr...@googlegroups.com. > To post to this group, send email to sage-devel@googlegroups.com. > Visit this group at https://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/d/optout. -- William (http://wstein.org) -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
