> If you want to remove the documentation about them from the developper > guide, it is ok with me.
Okay okay, fine. I think that I will do that then, unless somebody objects. This way those who still use them can continue, and we hope that in something like 6 months~1 year you will have switched to git trac or git by yourself ;-) By the way, if you feel like learning it now, it would be cool if you could take a look at the developer's manual and report what is unclear in there about 'git trac' or 'git the hard way'. Thanks ! Nathann -- 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.