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 > Subject: [Caml-list] Policy to merge pull requests in the opam repository > Date: May 16, 2017 at 10:38:07 CDT > To: caml users > Reply-To: Helmut Brandl > > 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