<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div><blockquote type="cite" class=""><div class=""><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class="">The OPAM tool indeed supports this model, but the automation infrastructure isn't fully written and deployed yet. There are various tools in-flight that do portions of this, but none exist that poll the --dev repository (e.g. for a new GitHub release) and autocreate a PR.</div></div></div></blockquote><div><br class=""></div>yes, that's a very good idea! (and not difficult to do actually)</div><div><br class=""><blockquote type="cite" class=""><div class=""><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class="">I think that's an interesting idea, as instead of the repository maintainer pushing a release and OPAM package, we could take the burden off the creator and poll for releases on the upstream GitHub repositories instead.</div><div class=""><br class=""></div><div class="">One advantage of this "pull" model is that it ensures that the upstream `opam` metadata is sane, since that would form the basis for the PR. Right now they can diverge due to manual intervention.</div><div class=""><br class=""></div><div class="">Anil</div><div class=""><br class=""><div class=""><blockquote type="cite" class=""><div class="">On 22 Feb 2016, at 22:14, Cheng Lou <<a href="mailto:chenglou92@gmail.com" class="">chenglou92@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div dir="ltr" class="">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.<br class=""><br class="">On Wednesday, February 17, 2016 at 7:27:49 AM UTC-5, Fabrice Le Fessant wrote:<blockquote class="gmail_quote" style="margin: 0;margin-left: 0.8ex;border-left: 1px #ccc solid;padding-left: 1ex;"><div dir="ltr" class="">Hi,<div class=""><br class=""></div><div class=""> 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.</div><div class=""><br class=""></div><div class="">Best regards,</div><div class="">--Fabrice</div><div class=""><br class=""></div></div>
</blockquote></div>_______________________________________________<br class="">opam-devel mailing list<br class=""><a href="mailto:opam-devel@lists.ocaml.org" class="">opam-devel@lists.ocaml.org</a><br class=""><a href="http://lists.ocaml.org/listinfo/opam-devel" class="">http://lists.ocaml.org/listinfo/opam-devel</a><br class=""></div></blockquote></div><br class=""></div></div>_______________________________________________<br class="">opam-devel mailing list<br class=""><a href="mailto:opam-devel@lists.ocaml.org" class="">opam-devel@lists.ocaml.org</a><br class="">http://lists.ocaml.org/listinfo/opam-devel<br class=""></div></blockquote></div><br class=""></body></html>