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.