On Saturday, June 18, 2016, Thierry <sage-googlesu...@lma.metelu.net> wrote:
> On Tue, Jun 07, 2016 at 11:21:29AM -0400, William Stein wrote: > > On Tue, Jun 7, 2016 at 11:12 AM, William Stein <wst...@gmail.com > <javascript:;>> wrote: > > > Hi, > > > > > > The Air Conditioning and power at UW have been fixed, and everything > > > turned back on. I've pointed DNS back at trac.sagemath.org and > > > wiki.sagemath.org so you should see them shortly. > > > > > > I'm setting up very frequent periodic automatic backups right now to > > > /orig on the GCE machines. I eagerly await somebody to volunteer to > > > migrate trac and wiki there. Perhaps Volker can start when he gets > > > back from travel. Volker -- whose opinion on our dev infrastructure I > > > value the highest of all right now, as he is the release manager -- > > > has said two things: > > > > > > -- tier one cloud hosting provider > > > -- Docker containers > > > > > > so I'll do whatever I can to support that. > > > > Erik has volunteered to setup trac, and will do so soon. > > > > Still waiting for somebody to setup the wiki. > > Such calls for a one-day-hero are part of the problem, not the solution (at > least not a viable one as we could observe previously). If you're going to flame me don't do it here. I really want this list to be civil again. > > Ciao, > Thierry > > > > William > > > > -- > 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 <javascript:;>. > To post to this group, send email to sage-devel@googlegroups.com > <javascript:;>. > Visit this group at https://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/d/optout. > -- Sent from my massive iPhone 6 plus. -- 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.
