Hello, Patchbot-server is up and running. To patchbot owners, please start your bots again. And consider updating to patchbot 2.3.6
cheers, Frederic Le samedi 18 juillet 2015 22:12:18 UTC+2, R. Andrew Ohana a écrit : > > Most of these sites should now be back up. The patchbot still needs a > little bit of setup (from Robert and Frederic), so it will be down until > they have a chance to look at it. > > On Sat, Jul 18, 2015 at 9:26 AM, William Stein <wst...@gmail.com > <javascript:>> wrote: > >> >> >> On Friday, July 17, 2015, R. Andrew Ohana <andrew...@gmail.com >> <javascript:>> wrote: >> >>> Small update, we will be starting at around 8 AM PST tomorrow. >>> >>> On Sat, Jul 11, 2015 at 18:40 R. Andrew Ohana >>> >>>> Due to lack of funding (as previously mentioned by William), the >>>> servers that are currently hosting a number of the sagemath sites will >>>> need >>>> to be relocated. We are currently planning on doing this next Saturday >>>> (i.e. Saturday July 18), exactly when and for exactly how long is not >>>> quite >>>> clear, but you can probably expect things to be down for a few hours. >>>> >>>> List of sagemath sites that will be down: >>>> >>>> trac.sagemath.org >>>> git.sagemath.org >>>> wiki.sagemath.org >>>> files.sagemath.org >>>> files.old.sagemath.org >>>> patchbot.sagemath.org >>>> >>>> >>>> In addition, boxen.math.washington.edu will finally be going offline, >>>> and due to lack of space won't be coming back (at least for now). I am >>>> working on setting up a new cluster of machines for sage development (and >>>> for math research a little later down the road) using the old SMC cluster >>>> (which consists of around 20 machines). >>>> >>>> >>>> >>>> -- >>>> Andrew >>>> >>> -- >> >> -- 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.
