On Mon, May 18, 2015 at 5:01 PM, mmarco <mma...@unizar.es> wrote: > Do we have a plan for this emergency?
... otherwise it wouldn't be a real emergency, right? :-) > Or could we just find ourselves > suddenly without webpage/trac server? Webpage, Planet-Blog, and File services are covered. They work better in all aspects than ever before! Trac and Wiki: I have no idea, likewise buildbot etc. There are also about (I'm guessing) 10-20 other websites or services, which have to find a new home or restructure. My understanding is that everyone involved has been notified weeks ago. -- harald -- 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 http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
