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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id C996E7FA5E for ; Tue, 16 May 2017 17:52:22 +0200 (CEST) Authentication-Results: mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of helmut.brandl@gmx.net) identity=pra; client-ip=212.227.15.19; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="helmut.brandl@gmx.net"; x-sender="helmut.brandl@gmx.net"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of helmut.brandl@gmx.net designates 212.227.15.19 as permitted sender) identity=mailfrom; client-ip=212.227.15.19; receiver=mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mout.gmx.net) identity=helo; client-ip=212.227.15.19; receiver=mail3-smtp-sop.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=3AJi+8VxeyQkEevmWOBcl8ga/QlGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxcS4ZB7h7PlgxGXEQZ/co6odzbGH7+a4ASQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?= =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9GiTe5br5+Ngm6oRnMvcQKnIVuLbo8xAHUqXVSYe?= =?us-ascii?q?RWwm1oJVOXnxni48q74YBu/SdNtf8/7sBMSar1cbg2QrxeFzQmLns65Nb3uhnZ?= =?us-ascii?q?TAuA/WUTX2MLmRdVGQfF7RX6XpDssivms+d2xSeXMdHqQb0yRD+t6LplSALziC?= =?us-ascii?q?cfKTE27H3XhMJ3jKJeuh2hphp/yJPQbIyaMPdye6XQds4YS2VcRMZcTyxPDZ+z?= =?us-ascii?q?YIUBEuQBM/hWoYr6qVYVtxSyGQysCfnvyjNUhHL727Ax3eQ7EQHB2QwtB9AAv2?= =?us-ascii?q?rQrNXwKacSTf2+wbTSzTrZafNZxDP945XPfxAhv/6MWbdwcdfNyUU1DAzFlE+f?= =?us-ascii?q?qYr4MDORzekNvG2b7uV6WeKplWEntxh8rz6yzckijYnJg5gaylHC9ShhwYY1I8?= =?us-ascii?q?e4SE9hbtK+HptQrTmWNotsTcMiRGFovzw2xaEBuZ6+eiUB1ZcpxwbHZvCZboSE?= =?us-ascii?q?/AjvWPiPLTp6nn5pZbKyiwyv/UWk0uHwS8q53VRQoiZbj9XBuWoB2wLd58WEUP?= =?us-ascii?q?dx40is1DiJ2gvO8O9LO1o0mrDeK5M5wr4/iJ4TsUPbEy/zn0X2kbOWel8r+uit?= =?us-ascii?q?5OXreLPmqYGAN4NsiwH+NLohmtCnDOgmLwQCQXKX9fqi2LDh50H1XbVHgucrnq?= =?us-ascii?q?TdqJzaIN4Upq+9Aw9byIYj7BO/Ai+m0NsGmXkHKU9FeA6dg4fyIVHBOvb4Auq7?= =?us-ascii?q?g1m3nzdrwv/HMqfnAprTMnjPiK3hcqpl605A1AozyshS6I5OBbEEJPL/Q0vxtN?= =?us-ascii?q?3DDh8lKAG02ObmCNBl1owEQ26PA6mZMLnTsVCS/O4vLfOMN8cpv2P2Iv0hr+P1?= =?us-ascii?q?gGUi0QsWdKytmJ8Wc2yQH/J8Ikzfb2C60fkbFmJfngc6SfH2wHeYWDhfYz7mX6?= =?us-ascii?q?844ywnToi8BIHPQqiihazH2iqnSM4FLltaA0yBRC+7P76PXO0BPX7DLw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AcFgAcHxtZhxMP49RdHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBhAwDgQmDbJBnixaCP5VFLIV4AoVNQxQBAQEBAQEBAQEBARIBAQE?= =?us-ascii?q?IDQkIKC+CMwyCWQEBAgIBI0sQCxwDAQIOHQICRQEHAggGExKJeAEDDQoCCqAsj?= =?us-ascii?q?AeCJoZrAUoDg0kBAQgBAQEBASOGX4IJgnCCVIIvgjU9L4IxBYdnDIk0jGOCEIU?= =?us-ascii?q?MjliIKYZpkACEQzaBKy8gLFASAYJSgiKCDViIQwEBAQ?= X-IPAS-Result: =?us-ascii?q?A0AcFgAcHxtZhxMP49RdHAEBBAEBCgEBFwEBBAEBCgEBhAw?= =?us-ascii?q?DgQmDbJBnixaCP5VFLIV4AoVNQxQBAQEBAQEBAQEBARIBAQEIDQkIKC+CMwyCW?= =?us-ascii?q?QEBAgIBI0sQCxwDAQIOHQICRQEHAggGExKJeAEDDQoCCqAsjAeCJoZrAUoDg0k?= =?us-ascii?q?BAQgBAQEBASOGX4IJgnCCVIIvgjU9L4IxBYdnDIk0jGOCEIUMjliIKYZpkACEQ?= =?us-ascii?q?zaBKy8gLFASAYJSgiKCDViIQwEBAQ?= X-IronPort-AV: E=Sophos;i="5.38,349,1491256800"; d="scan'208,217";a="223846176" Received: from mout.gmx.net ([212.227.15.19]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-GCM-SHA256; 16 May 2017 17:52:21 +0200 Received: from [192.168.1.67] ([187.214.238.143]) by mail.gmx.com (mrgmx002 [212.227.17.190]) with ESMTPSA (Nemesis) id 0MI5JG-1d91PW1t0w-003rox; Tue, 16 May 2017 17:52:21 +0200 From: Helmut Brandl Content-Type: multipart/alternative; boundary="Apple-Mail=_8F555D6C-B8A7-479D-8403-13E4C36E2E9A" Mime-Version: 1.0 (Mac OS X Mail 10.3 \(3273\)) Date: Tue, 16 May 2017 10:52:17 -0500 References: To: caml users Message-Id: <5437E987-FE58-463F-9BBC-E418D944E48D@gmx.net> X-Mailer: Apple Mail (2.3273) X-Provags-ID: V03:K0:MLP+K12uhatfjEcuzdVhrgUE1wfJfufa8k/g/lhDJDYSX6CwUFi 0qnnDIvc7kASLtwJNgrRzTlAC+eaLIERgMz7Xr+vjrDFPIkobE6NQGQ9tU/lgMwUy5H9eNr mN13a9MBYrL+JW/nNtO7HvQf7j2DcBBUdx4pmDEDcAmXQ/t5q0+vO8lOoSgfzzuBQQpoK7w pUNoXatp36M4ivu0UJ41w== X-UI-Out-Filterresults: notjunk:1;V01:K0:yGxc81MehzE=:rxQsOWBfzZA6vAGQKM+FFn fqws+QkZbuJwl+hQ+tCYdVGCLqyJ6U6QYEJM175WMSu3MNUYd8Ei4OsR3Nt5UFSx8q6DuIOeM FeZ4IWwtDq17MFuNtGRSp7YuRyLyan2LWyQvWOcpj8hq8XbOX6eqhlJSM8+rCeNb8N+LkkT2C RNEQ1NJEWWfdUuXVEvZb5I0JA6RwsQ0OVj3RQlB5pubdzX66zwz1a9j9ZHAE9brgrYAM/tn0k a3mdrsCCxMSzLH57Vhvyz9DTW3dcthlf0n+7u7dtsN7R6xAapOqGBz9Y+7aINcmiaOWf3rgi/ affQCDqtJE6DTB7MvTZgxMHZz4QkEQ8mAtJbsObhEYeFdtzut9aI6qcF9MiXESiI/th5iYtnQ iBHCVas32rCenT3lz3KBrQ+W+gMWBPucc7Jp3qzx9oey2+hJUBsA9qyFCIMp+bh4edc0kHqVB mESrUCKBVJwHfKLgaOZdoNLkBzYz3cSowdkTfxY1LXynJRploJ4C6azf8GexG2PMd7JHW90+V PhZzVEKtNMMnMjRVxHtN9MexEWl+N5j1FlyxVxnTGgU363ULxaOs747yN/lpedcdDpDw0sYYj sgPFSW7V6NNxviVKpqSO1O/K3WLIrpfWhHhwQ0ddqX9oUEZJG9rToD6U1yD1L5HYeWUQ6V86W 60pKThzv1AeL3WdK9Lt/R/RbuCLt84c5nj5/zwB9L3RAr69DKUOuUBklzKij1kPJCW8CoXz5y ZVm1tP7oQmp5jsrcSsW+K01ZHdGJ56hbzQoA1WYODxVVliGSCQQMb75g5DmPtFxpcWxVNv8h/ sgInu4S Subject: [Caml-list] Fwd: Policy to merge pull requests in the opam repository --Apple-Mail=_8F555D6C-B8A7-479D-8403-13E4C36E2E9A Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 Sorry for my impatience. I=E2=80=99ve just got the message that my pull req= uest has been merged. However the package is not yet installable via the command =E2=80=98opam in= stall alba=E2=80=99. Does this only take some time as well? Regards Helmut > 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 > Hello list, >=20 > I have managed to prepare a new version of the Albatross verifier and wan= t to release the new version in the opam repository. >=20 > I have done all preparations, i.e. written the needed files opam,descr an= d 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. I= t is my understanding that the merge can only be done by people who have wr= ite 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 poli= cy. >=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=_8F555D6C-B8A7-479D-8403-13E4C36E2E9A Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8 Sorry for my impat= ience. I=E2=80=99ve just got the message that my pull request has been merg= ed.

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?

Regards
Helmut
<= div>
Beg= in forwarded message:

From: Helmut Brandl <helmut.brandl@gmx.net><= br class=3D"">
Subject: [Caml-list] Policy to merge pull requests in th= e opam repository
<= span style=3D"font-family: -webkit-system-font, Helvetica Neue, Helvetica, = sans-serif; color:rgba(0, 0, 0, 1.0);" class=3D"">Date: <= /span>May 16, 2017 at 10:38:07 CDT
<= /span>
To: caml use= rs <caml-list@inria.fr<= /a>>
Reply-To: Helmut Brandl <helmut.brandl@gmx.net>
Hello list,

I have managed to prepare a new version of the Albatross verifie= r 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 w= rite access to the opam repository. How is the frequency?
I don=E2=80=99t want to urge anything. I just want to understan= d the policy.

Regards
Helmut

--
Caml-list mailing list.  S= ubscription 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-bu= gs

= --Apple-Mail=_8F555D6C-B8A7-479D-8403-13E4C36E2E9A--