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 05B2D8012F for ; Tue, 16 May 2017 18:03:53 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=anil@recoil.org; spf=None smtp.mailfrom=anil@recoil.org; spf=None smtp.helo=postmaster@bark.recoil.org Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of anil@recoil.org) identity=pra; client-ip=5.153.225.51; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="anil@recoil.org"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of anil@recoil.org) identity=mailfrom; client-ip=5.153.225.51; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="anil@recoil.org"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@bark.recoil.org) identity=helo; client-ip=5.153.225.51; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="postmaster@bark.recoil.org"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3Aw2KEfheNdDYyNFjQzPuIOowDlGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxcSzZx7h7PlgxGXEQZ/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+v9LlgRgP2hy?= =?us-ascii?q?gbNj456GDXhdJ2jKJHuxKquhhzz5fJbI2JKPZye6XQctQHS2pcRcZRTzJODZ+g?= =?us-ascii?q?b4UBCOoBOPxXr4j7p1ATqRezCg2hCObpxzRVhHH5wLc63vwhHw/FwAMvEM8Avn?= =?us-ascii?q?rWo9vrOqccVvu4w7PUwTXGdf5W2Svx5YrOfxs8of+MR7Vwcc/JxEQzEQPFj1GQ?= =?us-ascii?q?opHiMTyPy+sNs3KU7/R6WuK3lWEothx+oziyzcorkIbJgIMVylTf+CVj3ok6Od?= =?us-ascii?q?q4SE9/YdK+F5tQrS6aOpJwT8g/TW9ovyM6xacHuZ69ZCUKz4goyATaa/yDaYSI?= =?us-ascii?q?5QjjVOmJLTd5gnJlYrO/iAyo/Uiu0O3wTsa00FdWripFj9nDrWoB2ADU6siCUv?= =?us-ascii?q?d8/l2u2TaI1wDU8O1LPUc0la/dJpU8wbAwjoIevETZEiPrmEj7grWaels69uWo?= =?us-ascii?q?8ejqYqjqqoeBO4J3hAzyKKUjltKlDeglLAQDXHKX9fq82bH++0DyXa9Egecskq?= =?us-ascii?q?bDtZDXPcQbqbC9Aw9Syoss8AywDy2l0NgCh3kIMk5KeBWGj4jtIV3OJ+r4Dfin?= =?us-ascii?q?j1Stljdk2ezGM6XhD5nXM3TOkLnscaxj50JCyAc/19BS649MBrEEOv3zW0vxtN?= =?us-ascii?q?LCDh8+Ngy52/zoCNN81oMaQm+PGLGWP7/VsV+J4uIjOe6MZJUauDrlMfgq++bu?= =?us-ascii?q?jWMlmV8aZaSmwYEYaHW8Hvh/J0WZYGHsgssaHGcRvgs+SfTqh0eYXT5SYXayRa?= =?us-ascii?q?M86SshBIKoF4eQDryq1ZyM2CKmAtV8fGlABlTERXflc4CZR7EGciuULstJnTkU?= =?us-ascii?q?E76sV9ly+wupsVrTzbtjZs/d9i0Rq5v72dR59qWHnBcz8RRuAs+a0mXLSHt7yD?= =?us-ascii?q?BbDwQq1bxy9BQugmyI1rJ11rkFTNE=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DbEABkIhtZ/zPhmQVcGgEBAQECAQEBA?= =?us-ascii?q?QgBAQEBFQEBAQECAQEBAQgBAQEBgypiA4EJg2yLC4VcixaCP4Vnj14shXgCCIV?= =?us-ascii?q?FQxQBAQEBAQEBAQEBAWoogjMkgkEBAQEBAgEjHQMBKgsBAQMLCxEDAQIBDRoDA?= =?us-ascii?q?gIhJAEJCAYTEol5Aw0HBQEJq0xqgiaDCQcChCQDCoM/AQEBAQEBBAEBAQEBAQE?= =?us-ascii?q?BAQEBFAEIiGiCcIJUgi8NCYJcL4Ixh2wMiTOMKTuHHIcshFNsgRhViCmGaYh/g?= =?us-ascii?q?i6EU4RDDychP0t9CEYSAYJShB5piEMBAQE?= X-IPAS-Result: =?us-ascii?q?A0DbEABkIhtZ/zPhmQVcGgEBAQECAQEBAQgBAQEBFQEBAQE?= =?us-ascii?q?CAQEBAQgBAQEBgypiA4EJg2yLC4VcixaCP4Vnj14shXgCCIVFQxQBAQEBAQEBA?= =?us-ascii?q?QEBAWoogjMkgkEBAQEBAgEjHQMBKgsBAQMLCxEDAQIBDRoDAgIhJAEJCAYTEol?= =?us-ascii?q?5Aw0HBQEJq0xqgiaDCQcChCQDCoM/AQEBAQEBBAEBAQEBAQEBAQEBFAEIiGiCc?= =?us-ascii?q?IJUgi8NCYJcL4Ixh2wMiTOMKTuHHIcshFNsgRhViCmGaYh/gi6EU4RDDychP0t?= =?us-ascii?q?9CEYSAYJShB5piEMBAQE?= X-IronPort-AV: E=Sophos;i="5.38,349,1491256800"; d="scan'208,217";a="223847764" Received: from bark.recoil.org ([5.153.225.51]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 16 May 2017 18:03:46 +0200 Received: from bark.recoil.org (localhost [127.0.0.1]) by bark.recoil.org (OpenSMTPD) with ESMTP id 95adef66; Tue, 16 May 2017 17:03:45 +0100 (BST) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=recoil.org; h=from :message-id:content-type:mime-version:subject:date:in-reply-to :cc:to:references; s=selector1; bh=VheTXG0A7uP6ZyVehknRV5kzWVs=; b= updmG74m7X688TTzaHy352sfzJna16XcjmQRhRKc7g18tpSALb8Rz4A11jMqrhV8 LELY8okUut6mRLnPfWQw3fGL+EriSUjrFZckO1UplRuqVBVLoGJbAevl1lOSss/5 PvR1qgwfwIPiwQz6OKpDH3yu62EXsSw+EPanOicIRo8= DomainKey-Signature: a=rsa-sha1; c=nofws; d=recoil.org; h=from :message-id:content-type:mime-version:subject:date:in-reply-to :cc:to:references; q=dns; s=selector1; b=FAKJSVyIue2dO1iVWYNpOoe GebnnT0Wb/J6mEjTNyNLhFlcyHyzNaD+3Xpayunof1NlYNS/v4UHsO14DaK8Dpzv QPvG7x6d3N0SNygZbifF8dfa0DxP7NWjGIVqYAGxz0xBEkq2UCDPMSnbDiLOvxss +x1Xr/Yz/zvrFaTE6ybY= Received: from [172.20.12.67] (183.62.128.251 [183.62.128.251]) by bark.recoil.org (OpenSMTPD) with ESMTPSA id 76c5528b (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO); Tue, 16 May 2017 17:03:45 +0100 (BST) From: Anil Madhavapeddy Message-Id: <04466E7A-A016-47DE-A16E-CD4A3110B00C@recoil.org> Content-Type: multipart/alternative; boundary="Apple-Mail=_D1F96D38-74AC-4A6D-A061-8F67E0E6C245" Mime-Version: 1.0 (Mac OS X Mail 10.3 \(3273\)) Date: Wed, 17 May 2017 00:03:40 +0800 In-Reply-To: <3B072E90-5950-4422-94C1-390A89BB4F11@gmx.net> Cc: Romain Calascibetta , caml users To: Helmut Brandl References: <5437E987-FE58-463F-9BBC-E418D944E48D@gmx.net> <3B072E90-5950-4422-94C1-390A89BB4F11@gmx.net> X-Mailer: Apple Mail (2.3273) Subject: Re: [Caml-list] Policy to merge pull requests in the opam repository --Apple-Mail=_D1F96D38-74AC-4A6D-A061-8F67E0E6C245 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 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 6= 0-90 minutes, then begin a gentle panic, but until then it is a normal dela= y in the publishing workflow :-) To get it immediately, you can: - `opam init https://github.com/ocaml/opam-repository.git` on a new reposi= tory=20 - `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 wrote: >=20 > 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 =E2=80= =9Chttps://opam.ocaml.org/packages/ =E2= =80=9D. >=20 >=20 >> 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 = request 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 reposito= ry >>> 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 w= ant to release the new version in the opam repository. >>>=20 >>> 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 b= y the github workflow automatically. >>>=20 >>> What is the policy to get my pull request merged. Do I just have to wai= t 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? >>>=20 >>> I don=E2=80=99t want to urge anything. I just want to understand the po= licy. >>>=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=_D1F96D38-74AC-4A6D-A061-8F67E0E6C245 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8 There is a cron jo= b 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. &nb= sp;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 :-)<= div class=3D"">
To get it immediately, = you can:
-  `opam init https://github.com/ocaml/opam-re= pository.git` on a new repository 
- `opam re= po set-url default https://github.com/ocaml/opam-repository.git` to an existi= ng installation

w= hich will fetch the packages directly and bypass the OPAM HTTP mirror.

regards,
Anil

On 17 May 2017, at 00:00, Helmut Brandl &l= t;helmut.brandl@gmx.net= > wrote:

I have done the `opam upda= te` already. The merge is visible in the github opam repository. However it= is not (yet?) visible via the website =E2=80=9Chttps://opam.ocaml.org/packages/=E2=80=9D.=


<= div class=3D"">
On May 16, 2017, at 10:55, Romain Calascibetta <romain.calascibetta@gmail.com<= /a>> wrote:

Hi,

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

Regards,

Romain Calascibetta

On Tue, May 16, 201= 7 at 10:53 PM Helmut Brandl <helmut.brandl@gmx.net> wrote:
Sorry = for my impatience. I=E2=80=99ve just got the message that my pull request h= as been merged.

However= the package is not yet installable via the command =E2=80=98opam install a= lba=E2=80=99. Does this only take some time as well?
<= br class=3D"">
Regards
Helmut

Begin forwarded message:

From: Helmut Brandl <= ;helm= ut.brandl@gmx.net>
Subject: [Caml-list] Policy to merge pull requests in the opam reposi= tory
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=_D1F96D38-74AC-4A6D-A061-8F67E0E6C245--