On Tuesday, December 17, 2013 2:33:54 PM UTC, Ralf Hemmecke wrote: > > I don't know much about the plan for "sage -dev", but I generally think, > it's a bad idea to maintain two interfaces for the same task. >
I tend to agree, though there is something to be said for scripting the interaction with the trac server. For now, this is what we have. You are welcome to work on a better solution. I'm using and working on https://github.com/sagemath/git-trac-command for a "git trac" subcommand that just implements the trac interaction without trying to reinvent the wheel. -- 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.
