HomeSoftware Heritage

opam: avoid the repo management script to alway try to initialize the opam…