On 11.01.2015 09:38, Robert Bradshaw wrote: > Hopefully it's becoming stable enough that > we should start shipping it as part of Sage?
At first I thought so, too. But now I'm no longer sure: if you ship it with Sage, then it will be difficult to use it if you want to work with a patch from an older branch. Similarly, if there is some improvement to the tool, it won't be available when you're working on an older branch without that. So you'll always have to be careful at what point in history you're currently operating, to know what tool you have. Having the tool in an independent repository avoids these issues. Martin -- 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.
signature.asc
Description: OpenPGP digital signature
