Scraping opam-repo-ci to a standstill

Jan reported that opam-repo-ci, opam.ci.ocaml.org, had become unresponsive.