Issue with repo init on MangOH/manifest

Hi Max,

Please see this forum post about our transition to using git submodules.