ci: speed up submodule update by resolving tips via ls-remote#198
Open
juliusknorr wants to merge 1 commit into
Open
ci: speed up submodule update by resolving tips via ls-remote#198juliusknorr wants to merge 1 commit into
juliusknorr wants to merge 1 commit into