I vote for making this an extension to git, as it makes interacting with trac easier while also allowing developers to learn git if they did not already know it. If we think about the previous development process using mercurial, I am pretty sure that very few people used the sage-wrapped functions such as hg_sage once there was a simple tutorial on mercurial queues to get them started.
I understand Volker's good point that right now it is easier to have this as an optional add-on since otherwise the functionality gets lost when you switch to a branch which does not have it. But that issue will fade away soon enough. John On 29 December 2013 02:36, Volker Braun <vbraun.n...@gmail.com> wrote: > I've been taking some bits and pieces from the sage -dev scripts, so its not > entirely unrelated. Mostly, there is a philosophical difference: The dev > scripts implement an alterative UI to git, and the git trac command extends > git. The arguments for it aren't exactly new, and boil down to > > * A lot of thought went already into the git user experience > * Working knowledge of git is a skill that is also valuable outside of Sage > * Much simpler codebase for a narrow task > > vs. > > * The dev scripts make it easy to use git without having to learn it > > I don't think there is necessarily a winner. Of course I have a personal > favorite. At this point we don't really benefit from picking one or the > other, we can just offer both and see which one works out better in the long > run. > > -- > 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/groups/opt_out. -- 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/groups/opt_out.
