[opam-devel] [ocaml-infra] Automatically synching GitHub pulls to OPAM
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.
> 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.
> Infrastructure mailing list
> Infrastructure at lists.ocaml.org
More information about the opam-devel