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.
--- "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 <dimp...@gmail.com> 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+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.
