[ocaml-infra] Automatically synching GitHub pulls to OPAM

Anil Madhavapeddy anil at recoil.org
Fri Feb 7 16:22:15 GMT 2014

On 7 Feb 2014, at 16:17, Gabriel Scherer <gabriel.scherer at gmail.com> wrote:

> I have a small (shell) script myself that I use on top of OPAM,
>  https://github.com/gasche/opam-compiler-conf
> 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"?

Why don't you just submit the script as an OPAM package?  Then
"opam install compiler-conf" would give access to the
"opam compiler-conf" subcommand.

This seems orthogonal to regularly merging in switches based on
PRs, as those will be available via "opam update" very easily for
any interested user.


More information about the Infrastructure mailing list