Ensure each repositories stored in repos-config is associated with an URL#6249

Merged

kit-ty-kate merged 2 commits intoocaml:masterfrom kit-ty-kate:repositories-no-url-opt

Nov 22, 2024

+68-43

Commits on Nov 22, 2024

reftest: add example of repo config containing a repository without url
rjbou
committed
Ensure each repositories stored in repos-config is associated with an URL

kit-ty-kate
authored and
rjbou
committed