Hi Dima, On 2014-12-26, Dima Pasechnik <dimp...@gmail.com> wrote: > IMHO dev scripts should be retired. > Does anyone use them?
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. > By the way, I noticed some change in the behaviour of trac git server; > it seems that fetching u/foo/bar automatically results in > creation of a local branch trac/u/foo/bar. Seriously? I thought this was the behaviour of the dev scipts. The git-trac scripts would result in a local branch t/foo/bar or so... Best regards, Simon -- 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.
