On Tuesday, April 9, 2024 at 3:28:27 PM UTC-7 Dima Pasechnik wrote: [...] git submodules [...]
git submodules are included in a repository by specific commit sha of the submodule repo. So whenever one has to make a change in the submodule repo, one also has to commit a change (by a second PR) in the main repo. Hence this does not solve anything; it only adds more friction. git submodules are also well-known to be a developer education nightmare. I'm pretty sure we don't want to go there as a solution for anything in the Sage project. -- 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/fa82905b-731c-47c3-ad60-09525a0a4af3n%40googlegroups.com.
