Minor tweak to .gitmodules urls.