There is a cron job that runs hourly, which rebuilds https://opam.ocaml.org with the latest packages.  It should normally update within the hour, and your PR was merged 20 minutes ago.  If it hasn't shown up within the next 60-90 minutes, then begin a gentle panic, but until then it is a normal delay in the publishing workflow :-)

To get it immediately, you can:
-  `opam init https://github.com/ocaml/opam-repository.git` on a new repository 
- `opam repo set-url default https://github.com/ocaml/opam-repository.git` to an existing installation

which will fetch the packages directly and bypass the OPAM HTTP mirror.

regards,
Anil

On 17 May 2017, at 00:00, Helmut Brandl <helmut.brandl@gmx.net> wrote:

I have done the `opam update` already. The merge is visible in the github opam repository. However it is not (yet?) visible via the website “https://opam.ocaml.org/packages/”.


On May 16, 2017, at 10:55, Romain Calascibetta <romain.calascibetta@gmail.com> wrote:

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