> I found them quite practical, and you may recall from the discussions in > Paris that I'd like them to be extended so that they are also able to > send bug reports to the bug trackers of Singular/Gap/..., so that there is > no need to google "how to report bugs in Singular". > > Nonetheless, I stopped using the scripts, simply because everybody seems > to fancy git-trac now.
Oh. So what do you think we should do with them ? Remove them from Sage and keep our 3 tools, or give them up and focus on [pure git/git trac] ? Nathann -- 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.