using https:// instead of git:// in gitmodules