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.
