> I think that's a great idea! The current policy for managing PRs is described here: > > https://github.com/ocaml/opam-repository/wiki/PR-checks <https://github.com/ocaml/opam-repository/wiki/PR-checks> > > Please check that this is OK with you, and I'll add you to the list of maintainers. Seems OK to me. Grégoire