.gitmodules now with https-paths