@jenniferplusplus do you consider git submodules or git subtrees a git repo inside other git repo (or both)?