[opam-devel] more committers needed ?
chenglou92 at gmail.com
Mon Feb 22 21:54:11 GMT 2016
Sorry for hijacking the discussion. I'm new to OPAM, but is there a reason
why PRs for package upgrades can't be managed automatically? E.g. asking
for a git URL and either periodically check for new release tags, or check
on the fly when installing a library.
On Wednesday, February 17, 2016 at 7:27:49 AM UTC-5, Fabrice Le Fessant
> 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.
> Best regards,
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the opam-devel