Draft: "Don't be an opam repository but use a lock file" v2
For full details, see !382 (closed), courtesy of @romain.nl .
Corresponding MR in tezos/tezos
: tezos!7026 (closed).
I've opted to create a new MR since the old came from the archived nomadic-labs
fork and the old was owned by Romain.
Edited by Arvid Jakobsson