Please check up on fileserver.sagemath.org, too, while you are at it...
On Thursday, July 21, 2016 at 2:20:17 AM UTC+2, William wrote: > > On Wed, Jul 20, 2016 at 12:39 PM, Frédéric Chapoton > <fchap...@gmail.com <javascript:>> wrote: > > Anything new on the patchbot server status ? > > I will have physical access tomorrow. > > > > > Frederic > > > > Le jeudi 14 juillet 2016 17:53:23 UTC+2, William a écrit : > >> > >> On Thu, Jul 14, 2016 at 4:16 AM, Frédéric Chapoton <fchap...@gmail.com> > > >> wrote: > >> > Since a few hours maybe, the patchbot server is not longer > responding, > >> > and I > >> > cannot connect. > >> > > >> > https://patchbot.sagemath.org > >> > > >> > It is currently hosted at UW, I think. > >> > >> Thanks for reporting this. I can't do anything about this for the > >> next week, as I'm not in the US. > >> > >> William > >> > >> > > >> > Frederic > >> > > >> > -- > >> > 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+...@googlegroups.com. > >> > To post to this group, send email to sage-...@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+...@googlegroups.com <javascript:>. > > To post to this group, send email to sage-...@googlegroups.com > <javascript:>. > > 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.
