On Tue, Dec 17, 2013 at 5:41 AM, Jeroen Demeyer <[email protected]> wrote: > On 2013-12-17 14:37, Nathann Cohen wrote: >> >> Personally, I don't think that those dev scripts are a very good idea > > What I like most is the automatic interaction with Trac, that's very cool.
+1 IMHO, sage -dev should be primarily cover trac interaction, and not try to duplicate/wrap what can be done with raw git (which can easily enough be learned, especially with a sage-specific cheat sheet, and provides a smoother path into advance usage and transfers to other domains). - Robert -- You received this message because you are subscribed to the Google Groups "sage-git" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/groups/opt_out.
