How to merge a git repository with submodules into another with subtree merge?...