[ocaml-infra] Automatically synching GitHub pulls to OPAM

[Anil Madhavapeddy]

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.

-anil