The source project of this merge request has been removed.
[tag ls] Treat 404 as "empty list"
With luck this will avoid stuff like https://gitlab.dune-project.org/hpc2se/pacxx-docker/-/jobs/111945
With luck this will avoid stuff like https://gitlab.dune-project.org/hpc2se/pacxx-docker/-/jobs/111945