We could add "git trac" as a standard package now, I haven't made any changes outside of the release management stuff in a while....
On Thursday, May 7, 2015 at 12:31:46 PM UTC+2, Jeroen Demeyer wrote: > > On 2015-05-07 12:06, Vincent Delecroix wrote: > > Hello, > > > > dev script are a mess (see #18356). Could I remove everthing in > > sage/dev/ that is related to communication with the git server or the > > trac server? > > Please don't! > > I still use the dev script occasionally for read-only access to the Trac > server. One major advantage that the dev scripts have over "git trac" is > that they work out of the box, without installing or configuring anything. > > -- 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.
