submodule Jenkins uses https