Which seems more a problem with Github tooling, and less with git submodules.