Hi Dima, On 2020-01-30, Dima Pasechnik <dimp...@gmail.com> wrote: > I think git-trac should not be mentioned in the manual as the preferred way > to use git.
OK. Stating that "being able to use plain git is a useful skill" is fine, and of course elaborating how to use plain git to work with trac is fine, too. But please do not remove the customised scripts or their documentation. Best regards, Simon -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/r0ut4p%24mle%241%40ciao.gmane.io.
