Scraping opam-repo-ci to a standstill (opens in new tab)

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