It's a devastating blow. But we will rebuild. https://imgflip.com/i/15dnsh
On Monday, 6 June 2016 16:32:12 UTC+2, Dima Pasechnik wrote: > > Also flint/mpir/nemo sites are down (flint people know this), due to being > on the same cluster of machines... > > On Monday, June 6, 2016 at 3:22:02 PM UTC+1, Dima Pasechnik wrote: >> >> >> >> On Monday, June 6, 2016 at 2:18:36 PM UTC+1, Jeroen Demeyer wrote: >>> >>> On 2016-06-06 13:09, Thierry wrote: >>> > For the git/trac, i am not sure that it is a good idea to put a >>> 2-weeks >>> > backup read/write, because it will be awful to merge with the current >>> > state. It is imho much better to have some downtime since people can >>> still >>> > work on their local branch. >>> >>> Sure, but the question is: is the data still available somewhere? >>> >> >> The conversations and ticket descriptions are available in form of >> messages to sage-trac@googlegroups, for sure. >> >> I already asked whether the trac git tree is available on some >> patch/build-bots. >> Or perhaps someone pulled a full private copy recently? >> Any idea about 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+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.
