Git submodules for repos referenced go here. A mapping from the project's name (i.e. their name in the queryable
namespace) to the path of the submodule should be added to `mapping.json` for each
new git submodule added.