use https for gitmodules