[opam-devel] [ocaml-infra] Automatically synching GitHub pulls to OPAM

Gabriel Scherer gabriel.scherer at gmail.com
Fri Feb 7 16:17:20 GMT 2014

I have a small (shell) script myself that I use on top of OPAM,

As an alternative to merging yours upstream, would it make sense to
think of a way to centralize those shell scripts and make them more
easily available to the user, a bit like "git contribs"?

On Fri, Feb 7, 2014 at 3:17 PM, Anil Madhavapeddy <anil at recoil.org> wrote:
> I've created a small script here that generates compiler entries for each GitHub PR.  This makes it exceedingly easy to play around with new pull requests.
> https://github.com/avsm/opam-sync-github-prs
> I can publish this regularly as a custom remote, but it occurs to me that during the 6-month GitHub experiment, we may as well merge this directly into OPAM stable.  Most users will not see all the extra repositories due to requiring the --all script.
> Any thoughts, objections or improvements?  I decided not to include closed pull requests in the generation, but that can easily be tweaked.
> -anil
> _______________________________________________
> Infrastructure mailing list
> Infrastructure at lists.ocaml.org
> http://lists.ocaml.org/listinfo/infrastructure

More information about the opam-devel mailing list