Hello, the patchbot seems to be broken again. The round icons says something like "unavailable for maintenance"
Frederic Le mercredi 22 octobre 2014 09:05:38 UTC+2, Robert Bradshaw a écrit : > > The patchbot didn't survive the migration to the new machine. Fixed. > > On Tue, Oct 21, 2014 at 1:22 PM, R. Andrew Ohana <andrew...@gmail.com > <javascript:>> wrote: > > The buildbot was having some issues and was reporting everything as a > > failure. I disabled it until I get a moment to fix it. > > > > On Tue, Oct 21, 2014 at 1:18 PM, Frédéric Chapoton <fchap...@gmail.com > <javascript:>> > > wrote: > >> > >> Hello, > >> > >> it seems that the bots have disappeared. Both the buildbot (was top > left) > >> and the patchbot (top right). > >> > >> The patchbot links are broken (used to be colored little round things). > >> > >> And http://patchbot.sagemath.org points to William's homepage. > >> > >> Can we we hope that the bots will be back soon ? > >> > >> Frédéric > >> > >> -- > >> 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 http://groups.google.com/group/sage-devel. > >> For more options, visit https://groups.google.com/d/optout. > > > > > > > > > > -- > > 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+...@googlegroups.com <javascript:>. > > To post to this group, send email to sage-...@googlegroups.com > <javascript:>. > > Visit this group at http://groups.google.com/group/sage-devel. > > For more options, visit https://groups.google.com/d/optout. > -- 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.
