[opam-devel] more committers needed ?
thomas at gazagnaire.org
Wed Feb 17 15:12:07 GMT 2016
> If there is some need to help managing PRs to the opam-repository, Grégoire Henry (OCamlPro-Henry on Github) and myself (lefessan on Github) are volunteers to spend some time doing it.
I think that's a great idea! The current policy for managing PRs is described here:
Please check that this is OK with you, and I'll add you to the list of maintainers.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the opam-devel