From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id EC05E80131 for ; Tue, 16 May 2017 18:00:20 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=helmut.brandl@gmx.net; spf=Pass smtp.mailfrom=helmut.brandl@gmx.net; spf=None smtp.helo=postmaster@mout.gmx.net Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of helmut.brandl@gmx.net) identity=pra; client-ip=212.227.17.20; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="helmut.brandl@gmx.net"; x-sender="helmut.brandl@gmx.net"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of helmut.brandl@gmx.net designates 212.227.17.20 as permitted sender) identity=mailfrom; client-ip=212.227.17.20; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="helmut.brandl@gmx.net"; x-sender="helmut.brandl@gmx.net"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mout.gmx.net) identity=helo; client-ip=212.227.17.20; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="helmut.brandl@gmx.net"; x-sender="postmaster@mout.gmx.net"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AlR3hBhMIW6OAqYILb5Ml6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0I/z4rarrMEGX3/hxlliBBdydsKMYzbKO+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZPebgFHiTanfb9+MAi9oBnMuMURnYZsMLs6xAHTontPde?= =?us-ascii?q?RWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjTbxFFzsmKHw65NfqtRbY?= =?us-ascii?q?UwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0vRz+s87lkRwPpiC?= =?us-ascii?q?cfNj427mfXitBrjKlGpB6tvgFzz5LIbI2QMvdxeb7Tfc4BRWpZQMleSzBBDI27?= =?us-ascii?q?b4sKFeUBPOBYpJT5q1YBqRayAA+hD/7txDBVnH/7xbE13Os8Hw/G3gMuEdEAsH?= =?us-ascii?q?rKotvyL6odS/y5zKzSwDXDc/9b2zHw45XIfBA7pvGMWKp9f8jPxkkrEgPFk0mQ?= =?us-ascii?q?opH4MjOPzOsNtXWU7+59Xu+oi24otQVxoj2yxscwkIXGnZgVxUrC9SpkxIY4Pt?= =?us-ascii?q?K4SEt0YNK+FptfqT2aOpJwT8g/TW9ovyM6xacHuZ69ZCUKz4goyATaa/yDaYSI?= =?us-ascii?q?5QjjVOmJLTd5gnJlYrO/iAyo/Uiu0O3wTsm130xKripCldnArGwC1xvW6sWBV/?= =?us-ascii?q?Bz/V+h1C6R2wzO9O1IO144mbTZJpI737I9lIAfvVrfEiPuhUn7j62bel869uS1?= =?us-ascii?q?5OnreKvqq5GfOoNulw3zPaojl8qiCuoiKAcORXKU+eGk2b3j40L5RLJKg+Uzkq?= =?us-ascii?q?nerZDaOd4XpqG8Aw5ayIoj7QiwDyu+3NQZm3kIMk5FdQqZg4T0JV3COu70Aem9?= =?us-ascii?q?jli2jTtmxerKMqP9DpnVK3jMirbhfbJz605GzwozyMhS55JKBbEFJfLzR1PxuM?= =?us-ascii?q?bDAR8jKQO0xfvoCNFm24MRXGKODbWVMKXMvl+U/u4vOfWDZJcJuDbhLPgo/+Lh?= =?us-ascii?q?gmU8mV8ZZKWp2ZoXaGukHvl9OEWYYX/sgs8bHmsQvwo+SvbqiFyYXjJJaXayRf?= =?us-ascii?q?F02jZuMoWjBIbFDqukhLWa1yaxE4FKbygSEFeJGHbuMY6NX/4XYyOYL9N9mxQL?= =?us-ascii?q?ULGgT8kq0hT45yHgzL8yDufQ/zAE/bj53d5546WHlRw28CFoSc6H2meBS0l7m3?= =?us-ascii?q?NOQTIqivMs6Xdhw0uOhPAry8dTEsZesrYUCwo=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CrCwA5IRtZhxQR49RcGgEBAQECAQEBA?= =?us-ascii?q?QgBAQEBFQEBAQECAQEBAQgBAQEBhAwDgQmDbJBninUhgj+VRSyFeAKFTUMUAQE?= =?us-ascii?q?BAQEBAQEBAQESAQEBCA0JCCgvgjMkgkEBAQEBAgEjSwsFCwsRAwECAQ0aAwICI?= =?us-ascii?q?SQBCQgGExKJeAEDDQoCCqAsjAeCJoZrAUoDCoM/AQEBAQEBAQMBAQEBAQEBAQE?= =?us-ascii?q?BHoZfggkLgmWCVIIvFoJcL4IxBYdnDIk0jCg7ghCFDIcshldViCmGaYh/gi6EU?= =?us-ascii?q?4RDDydgSy8gLFASAYJSgiKCDViIQwEBAQ?= X-IPAS-Result: =?us-ascii?q?A0CrCwA5IRtZhxQR49RcGgEBAQECAQEBAQgBAQEBFQEBAQE?= =?us-ascii?q?CAQEBAQgBAQEBhAwDgQmDbJBninUhgj+VRSyFeAKFTUMUAQEBAQEBAQEBAQESA?= =?us-ascii?q?QEBCA0JCCgvgjMkgkEBAQEBAgEjSwsFCwsRAwECAQ0aAwICISQBCQgGExKJeAE?= =?us-ascii?q?DDQoCCqAsjAeCJoZrAUoDCoM/AQEBAQEBAQMBAQEBAQEBAQEBHoZfggkLgmWCV?= =?us-ascii?q?IIvFoJcL4IxBYdnDIk0jCg7ghCFDIcshldViCmGaYh/gi6EU4RDDydgSy8gLFA?= =?us-ascii?q?SAYJSgiKCDViIQwEBAQ?= X-IronPort-AV: E=Sophos;i="5.38,349,1491256800"; d="scan'208,217";a="273372468" Received: from mout.gmx.net ([212.227.17.20]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-GCM-SHA256; 16 May 2017 18:00:20 +0200 Received: from [192.168.1.67] ([187.214.238.143]) by mail.gmx.com (mrgmx103 [212.227.17.168]) with ESMTPSA (Nemesis) id 0LjZn2-1dhnr81uuW-00bf81; Tue, 16 May 2017 18:00:19 +0200 Content-Type: multipart/alternative; boundary="Apple-Mail=_4840332C-2B31-474B-BB5D-C38F1D5BE1EC" Mime-Version: 1.0 (Mac OS X Mail 10.3 \(3273\)) From: Helmut Brandl In-Reply-To: Date: Tue, 16 May 2017 11:00:15 -0500 Cc: caml users Message-Id: <3B072E90-5950-4422-94C1-390A89BB4F11@gmx.net> References: <5437E987-FE58-463F-9BBC-E418D944E48D@gmx.net> To: Romain Calascibetta X-Mailer: Apple Mail (2.3273) X-Provags-ID: V03:K0:ZCQNulVbX4LbMbk76BaGu/WU7ufQgLLg9Zm2EfwpZNOy27aUFRY dGB8+TE8tt1EWus9haG5yD7Aj09qypwTNLmbK/YkIA38TjzOI7T4fzNIyzPhu+bRwZP/37M DSPoIXMzMA9Ulg5a6C2qkXgr+DHycEIo73Zi9ZHciNSy+QFRqdFFJEOI/Ro4X0hRfLy0u9T cMVcu7FXPD2QSJjEDbarQ== X-UI-Out-Filterresults: notjunk:1;V01:K0:dU8fcIOKEJA=:u5urKBlSHERt6QBw7F8Mcw XfVmpdJ/GF6nT/49NUfo3m5SKFRKfGMxZFfNieuP9/He4pzFoFaEqiFzJWev+Uid7Kw87zNp2 U3zXs7I08tvcBPWPbWv4sJwC+yPVDBDoFJZr2/QkAnbzfMxUave4aIilTYlaDqIo46z+XEAPj EnXCly7TSDu66F+aSinchKTYaNdGrHIfwHoo18EjQ1RWW0v7v0CkRFjQy9CThnxP+S0/Drpvd XTuP/bPy+Jkzay5rbrbLz4gkXqJjFdtdir5f8NK6yHfGXW5SH5Zs6x0arBVn+za/kdyLqSWhQ Ln2KHsSPK32yagwZw8MTvwz+lLpCJV2RsHLeFMvCReocnY2V44y04otwvFX8mMZYkgv6cBjal gPVbPUzYir5USkuDI0ClGkvy71YBImSlweTkO5Q5Kx3PFDkWxwZ4qMHvme/3MRPD0okX6RiVr 7YJnXEN7EwGEUP4eJ/W5oyDNw3qazj46SrF12KOxTe85jIQ3nlDKI94YM4ClD+jxruTZ0n6x2 cO3O1rGUV4doLtp7y3GSuEJzAvNQrDqNvE0brALPIkm1IzGpdhDcIhEP5wPqQ+EBHsJfsh5vY 4E64yNcZAd8UW5+1mPVHf6jYyrXBP0E6BpH4MWsS4qNdBsi0LSJrGCWsnRhuvVFvB1heFwjef cSW5LYD8zqrQSwG9oCZeDV5cIGOtYMor56XEy65kANtHqC8XZQjivk1TZc/OrC/0nG/Ow6Ia4 rCyuG42ArUFzN5vMwTDZj6dqp7nBNMXaLnsM2HZCzt/X9vl+krdC6AkXnlNPA9rE2zEH4rWpb JtWUb/p Subject: Re: [Caml-list] Policy to merge pull requests in the opam repository --Apple-Mail=_4840332C-2B31-474B-BB5D-C38F1D5BE1EC Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 I have done the `opam update` already. The merge is visible in the github o= pam repository. However it is not (yet?) visible via the website =E2=80=9Ch= ttps://opam.ocaml.org/packages/ =E2=80=9D. > On May 16, 2017, at 10:55, Romain Calascibetta wrote: >=20 > Hi, >=20 > You need to launch `opam update` before :) ! >=20 > Regards, >=20 > Romain Calascibetta >=20 > On Tue, May 16, 2017 at 10:53 PM Helmut Brandl > wrote: > Sorry for my impatience. I=E2=80=99ve just got the message that my pull r= equest has been merged. >=20 > However the package is not yet installable via the command =E2=80=98opam = install alba=E2=80=99. Does this only take some time as well? >=20 > Regards > Helmut >=20 >> Begin forwarded message: >>=20 >> 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 > >=20 >>=20 >> Hello list, >>=20 >> I have managed to prepare a new version of the Albatross verifier and wa= nt to release the new version in the opam repository. >>=20 >> I have done all preparations, i.e. written the needed files opam,descr a= nd 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. >>=20 >> 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 w= rite access to the opam repository. How is the frequency? >>=20 >> I don=E2=80=99t want to urge anything. I just want to understand the pol= icy. >>=20 >> Regards >> Helmut >>=20 >> --=20 >> 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 --Apple-Mail=_4840332C-2B31-474B-BB5D-C38F1D5BE1EC Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8 I have done the `o= pam update` already. The merge is visible in the github opam repository. Ho= wever it is not (yet?) visible via the website =E2=80=9Chttps://opam.ocaml.org/packages/= =E2=80=9D.


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 f= or my impatience. I=E2=80=99ve just got the message that my pull request ha= s been merged.

However = the package is not yet installable via the command =E2=80=98opam install al= ba=E2=80=99. Does this only take some time as well?
Regards
Helmut

Begin forwarded message:

From: Helmut Brandl <= helmu= t.brandl@gmx.net>
Subject: = [Caml-list] Policy to merge pull requests in the opam reposit= ory
Date: May 16, 2017 at 10= :38:07 CDT
To: caml users <caml-list@in= ria.fr>
Reply-To: Helmut Br= andl <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 a= nd 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 th= e 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 unde= rstanding that the merge can only be done by people who have write access t= o the opam repository. How is the frequency?

I= don=E2=80=99t want to urge anything. I just want to understand the policy.=

Regards
Helmut
--
Caml-list mailing list.  Subscription m= anagement and archives:
https://sympa.inria.fr/sympa= /arc/caml-list
Beginner's list: http://groups= .yahoo.com/group/ocaml_beginners
Bug reports: http://cam= l.inria.fr/bin/caml-bugs

= --Apple-Mail=_4840332C-2B31-474B-BB5D-C38F1D5BE1EC--