http://patchbot.sagemath.org/ is now also affected, even if it was working at some point after trac's failure.
Frédéric Le lundi 6 juin 2016 14:48:47 UTC+2, William a écrit : > > I've sent invites to the Google compute engine project to the following > people. > > - Andrew O > - Dima P > - Volker B > - Erik B > - Samuel L > > On Mon, Jun 6, 2016 at 6:22 AM, Jeroen Demeyer <jdem...@cage.ugent.be > <javascript:>> wrote: > > On 2016-06-06 10:33, Erik Bray wrote: > >> > >> I think one of the best things about Sage's development is that it's > >> using Trac. GitHub's issue tracker is awful by comparison, especially > >> for the volume of issues Sage generates. > > > > > > I agree. > > > >>> 3. Configure trac.sagemath.org and wiki.sagemath.org so they work > >>> again using the most recent backups. > >> > >> > >> If anyone needs help with the Trac configuration I used to be a > >> developer of Trac and know it rather well. As long as somehow has a > >> backup of the database and the config file it should be easy enough to > >> get up and running again. > > > > > > Totally +1, let's do this! Hopefully, OpenDreamKit can help with this. > > > > > > -- > > 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 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.
