use https git URLs in gitmodules