Bring the gitmodules file and the external repo directory tree into main.
mentioned in commit 15bcbebb
merged