On Wednesday, April 10, 2024 at 1:00:06 PM UTC-7 Dima Pasechnik wrote: On 10 April 2024 19:24:12 CEST, Matthias Koeppe <matthia...@gmail.com> wrote: >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. Why a 2nd PR?
I just explained it. To update the version (commit sha) of the submodule. -- 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/7e976287-8f5e-4248-b5e9-1601bed1fa6dn%40googlegroups.com.
