I do not think that the patchbots clients have a copy of the full git repo. They only pull branches. But they have the branch for 7.3.beta3, at least.
Frederic Le lundi 6 juin 2016 16:22:02 UTC+2, Dima Pasechnik a écrit : > > > > 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.
