[ocaml-infra] Automatically synching GitHub pulls to OPAM

Anil Madhavapeddy anil at recoil.org
Fri Feb 7 14:17:35 GMT 2014

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.


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.


More information about the Infrastructure mailing list