Hi,

You need to launch `opam update` before :) !

Regards,

Romain Calascibetta

On Tue, May 16, 2017 at 10:53 PM Helmut Brandl <helmut.brandl@gmx.net>
wrote:

> Sorry for my impatience. I’ve just got the message that my pull request
> has been merged.
>
> However the package is not yet installable via the command ‘opam install
> alba’. Does this only take some time as well?
>
> Regards
> Helmut
>
> Begin forwarded message:
>
> *From: *Helmut Brandl <helmut.brandl@gmx.net>
> *Subject: **[Caml-list] Policy to merge pull requests in the opam
> repository*
> *Date: *May 16, 2017 at 10:38:07 CDT
> *To: *caml users <caml-list@inria.fr>
> *Reply-To: *Helmut Brandl <helmut.brandl@gmx.net>
>
>
> Hello list,
>
> I have managed to prepare a new version of the Albatross verifier and want
> to release the new version in the opam repository.
>
> I have done all preparations, i.e. written the needed files opam,descr and
> url, pinned the version locally, forked the opam repository and created a
> pull request. My pull request has passed all tests which are triggered by
> the github workflow automatically.
>
> What is the policy to get my pull request merged. Do I just have to wait
> for feedback or are some other actions needed by me to trigger the merge.
> It is my understanding that the merge can only be done by people who have
> write access to the opam repository. How is the frequency?
>
> I don’t want to urge anything. I just want to understand the policy.
>
> Regards
> Helmut
>
> --
> Caml-list mailing list.  Subscription management and archives:
> https://sympa.inria.fr/sympa/arc/caml-list
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>
>