> 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 _______________________________________________ opam-devel mailing list opam-devel@lists.ocaml.org http://lists.ocaml.org/listinfo/opam-devel
