On Wednesday, 25 December 2013 15:01:03 UTC-7, Nathann Cohen wrote: > > Well, if you tried it a lot already, I don't see what's the problem. > Plus I can swear I would use it too, and other probably too. Actually, > with this kind of thing around I'm pretty sure no developper would use > the dev scripts anymore :-P > > Nathann >
I am not sure about all developers, but I certainly would prefer to learn "real git" instead of custom scripts. Having something to automatically take care of ticket numbers and getting/setting/pushing appropriate branches would be really nice, I was always annoyed by keeping track of which patch goes where and which still has to have ticket added in the name/comment. I don't care if it is a package or not as I am not likely to modify these scripts, but I definitely want them available without extra steps! Andrey -- 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.
