On Monday, June 6, 2016 at 3:57:41 PM UTC+1, William wrote: > > Hello, > > The sysadmin just explained what happened -- namely the room has been > cooking all weekend due to an AC failure: This means that everything > might -- or might not -- come back in the next few days. There is no > way to know the extent of the damage, if any. >
OK, +37 degrees Celsius does not sound too bad. Could you perhaps ask when they did the shutdown? We know, roughly, when the last trac comment went through. Perhaps some nodes shut themselves down, due to overheating? > --- > "The PDL C28 server room AC unit died some point this weekend. The > ambient temperature in the room was about 100 degrees F this morning. > > I've physically unplugged power to all the Math and Sage machines for > the time being until the HVAC repair is done. > > Hopefully there isn't too much hardware damage from the heat. > > Steve Sheetz > Manager, Dept Computing > > University of Washington > Dept of Mathematics > Padelford Hall, C-32 > Box 354350" > --- > > On Mon, Jun 6, 2016 at 10:47 AM, Dima Pasechnik <dim...@gmail.com > <javascript:>> wrote: > > On Monday, June 6, 2016 at 3:30:55 PM UTC+1, Frédéric Chapoton wrote: > >> > >> I do not think that the patchbots clients have a copy of the full git > >> repo. They only pull branches. But they have the branch for 7.3.beta3, > at > >> least. > > > > this one is just here: https://github.com/sagemath/sage/tree/develop > > > > -- > > 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.
