On Wednesday, March 10, 2021 at 4:10:19 AM UTC-8 Antonio Rojas wrote: > Of course, if the long term plan is to split this to a separate git repo, > then I completely share your concerns. >
No, the plan for modularization does not involve splitting the repository. See https://trac.sagemath.org/ticket/29705 for an overview. -- 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/ec6b1fac-9265-4afa-a890-a5571adf08f4n%40googlegroups.com.