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 E8A857FA5E for ; Tue, 16 May 2017 18:11:55 +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=3AV3u3bhFKp5sJ9q0nK2IfJJ1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ7yp8WwAkXT6L1XgUPTWs2DsrQf2raQ6/iocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbQhFgDWwbaluIBmqsA7cqtQYjYx+J6gr1xDHuGFIe+?= =?us-ascii?q?NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S6dYDCk9PGAu+MLrrxjD?= =?us-ascii?q?QhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VC+85Kl3VhDnlC?= =?us-ascii?q?YHNyY48G7JjMxwkLlbqw+lqxBm3oLYfJ2ZOP94c6zaYN0aWHFBXt5PWCNdHoOy?= =?us-ascii?q?YYwPD+8bMuZZqYn2ul8CoBS6CAWpAu7k1z1GiWLs3aAiz+suHhzI0gwiENwAs3?= =?us-ascii?q?rUosv7OqAJXO+v0KXIyC/Ob/NK1Tr/7oXDbxAvoeuLXbJ1acffy1cgFwfAjlWN?= =?us-ascii?q?tYzuIi6Y1v4XvGid8uVgUf+khmknqw5vpjivw9osipXTio0O0FDL7yN5z5sxJd?= =?us-ascii?q?CjR057ZNGlHIFWty6EK4t7W8UvSHxmtiY9z70Jo5+7fC4SxZQg2xHQcfmHc4yS?= =?us-ascii?q?7hLkTuaRLi90hHNjeLKlhha961KsyuPmVsWs31ZKrzZFktnRtn8WzRDc9s+HSv?= =?us-ascii?q?5l8kahwzmP1wfT6uZeLU8okqrbLpgsyaMzmJoLqUnPADL6lFvsgKOIaEkp+PKk?= =?us-ascii?q?5/nlb7n8uJOQK5d4hhz9P6ksgMCzH/k0PwcUU2SF9+mx16fv8VD2TbhEiPA9j7?= =?us-ascii?q?PXv4rAJcsBo660Gw9V3Zgn6xa4Fzqm1dMYnWQbLF5fdxKHiofoN0vIIP/mEfez?= =?us-ascii?q?m1WskDF1yPDaJrDtHIjBImbZnLv/Y7pw6VRQxBcxwNxF+Z5YFqkNIPfpVU/wsN?= =?us-ascii?q?zYAAU5Mwuxw+v/CNVyyIceWWeSAq+FKq/dqkWI6fgpI+aRYI8Yozn9K/0q5vL0?= =?us-ascii?q?i382h0MdcbGz3ZQLcHC4AuhmI0KBbHXwmNgBFGMKshM6TOzrk12CTSVeZ22yXq?= =?us-ascii?q?I5/jE0EpiqDYbFRoC3gbyOxj23HpNMZjMONlfZOHHpc82hUvsMYTybOsJtni1M?= =?us-ascii?q?AbGnSosJzxylsw7+jb19IbyH1DcfsMfD2dxw+vGbvws78zBwR5Cd3mWIUn0ylH?= =?us-ascii?q?kBQTMy9K96sQp7x0vVgvswuOBRCdEGv6ABaQw9L5OJirEjBg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CrCwCEIxtZhxQR49RcGgEBAQECAQEBA?= =?us-ascii?q?QgBAQEBFQEBAQECAQEBAQgBAQEBhAwDgQmDbJBninUhgj+VRSyFeAKFTUMUAQE?= =?us-ascii?q?BAQEBAQEBAQESAQEBCA0JCCgvgjMkgkEBAQEBAyNLCxALEQMBAgENGgMCAiEkA?= =?us-ascii?q?QkIBhMSiXgBAxcCCqAojAeCJoZrAUoDCoM/AQEBAQEBAQMBAQEBAQEBAQEBHoZ?= =?us-ascii?q?fggkLgmWCVIIvFoJcL4IxBYdnDIk0jCg7ghCFDIcshldViCmGaYh/gi6EU4RDD?= =?us-ascii?q?ydgSy8gLFASAYJSgiKCDViIQwEBAQ?= X-IPAS-Result: =?us-ascii?q?A0CrCwCEIxtZhxQR49RcGgEBAQECAQEBAQgBAQEBFQEBAQE?= =?us-ascii?q?CAQEBAQgBAQEBhAwDgQmDbJBninUhgj+VRSyFeAKFTUMUAQEBAQEBAQEBAQESA?= =?us-ascii?q?QEBCA0JCCgvgjMkgkEBAQEBAyNLCxALEQMBAgENGgMCAiEkAQkIBhMSiXgBAxc?= =?us-ascii?q?CCqAojAeCJoZrAUoDCoM/AQEBAQEBAQMBAQEBAQEBAQEBHoZfggkLgmWCVIIvF?= =?us-ascii?q?oJcL4IxBYdnDIk0jCg7ghCFDIcshldViCmGaYh/gi6EU4RDDydgSy8gLFASAYJ?= =?us-ascii?q?SgiKCDViIQwEBAQ?= X-IronPort-AV: E=Sophos;i="5.38,349,1491256800"; d="scan'208,217";a="273374637" 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:11:54 +0200 Received: from [192.168.1.67] ([187.214.238.143]) by mail.gmx.com (mrgmx102 [212.227.17.168]) with ESMTPSA (Nemesis) id 0MdXSC-1dMqo901Hw-00PNlw; Tue, 16 May 2017 18:11:53 +0200 Content-Type: multipart/alternative; boundary="Apple-Mail=_FA15422A-8F31-43C8-9757-FA99E180AE47" Mime-Version: 1.0 (Mac OS X Mail 10.3 \(3273\)) From: Helmut Brandl In-Reply-To: <04466E7A-A016-47DE-A16E-CD4A3110B00C@recoil.org> Date: Tue, 16 May 2017 11:11:49 -0500 Cc: Romain Calascibetta , caml users Message-Id: References: <5437E987-FE58-463F-9BBC-E418D944E48D@gmx.net> <3B072E90-5950-4422-94C1-390A89BB4F11@gmx.net> <04466E7A-A016-47DE-A16E-CD4A3110B00C@recoil.org> To: Anil Madhavapeddy X-Mailer: Apple Mail (2.3273) X-Provags-ID: V03:K0:IE+8qLinmzWgPiZUZankCGf/cQi6dt1fZ1xdUs+wxwhjPulnG18 czeRcUeMVzi/9mFaVx2F0cIl4u7RfcmK9AjKGobKgBHw9VymhXv/jo3Ff1Zjj+ix1P77zLJ p3mFuu+fWD2331JbAxlUxSkTyE3FV+Xvp0YgFlnmDOyI5CD86ATrrvUaKJBKfMYCSFtz3f+ 9Z0uxPIcl9+wexYtuJWBA== X-UI-Out-Filterresults: notjunk:1;V01:K0:HeFourG/cBo=:jmmY5zMVQdVXWq3zTq/aV/ BOSGx6rIvj3D0IHprWWGYQRhOVY6qrNYgkK1Efi+g8q13QnKDMSvzyuhTKLa7WKIThFSOWKdq aSkO0sqOoghAQcIefRJ6s5/ZZ5R7RDv+vllEDfVkC6YqvMQsHFXl9OXk+cMLYpMwqmqynLIBl w8BUBx8F1Qsmi7OoGUZMpOA9YGkm69Of+jqmxvzYzSauBubzqjz5xuEbrfcDiC/zXleMu5F0w ldJT8Tftf3RgG0IuMok9X/Nasgm5dDWFYgM4eCtAB9mQy038YuxPlSXvIlEuAFf/Qa4gL8xk3 m9QqY9E2Oc4By/lqgzRuANQvsRs62fnjVFycNx5Uu2JTdZgiW5SdFuxBp/lwGaXXLd3C3vxuK bACYzBtzZn2Jl0xS0JBTYNQ+um+SMkWdvs+lQkHHolXxtmXEI6+cBmbVRrq/I9K2xmRu7otGi xl6VYimS1cNgCQOxIUZ4mgFcqW72oXK7oX0osw5ODi/v44ZTgfiv2sg0AxuqjREjhE/nte24+ FIncEuEgbn5FMfpT+f/f4Idq+AzL9sXLXdWO8KIpLzrru2ph37xNQ/CSANjjZwtuLnx2xjiIz vTDekCTVNb+hXoJYgBdPMBvKQg71jyk+D9r7VT8fGyXrXdq+Pxm2wBmH3j/RmkFyyASoRXDoa cfMCIeuOUkDjx7A4E51MWQJA533rt+Bv9FQL88V/h9/jt1C/qpS2X+QFIHqixMlCX9rmkWc6w xupeZlVF6KpW1LkACOoU5tCaTu9eCSf/Vw2gyqbF1sjwTmiseborTvVmHwpSJsRHvQJbwv/yO n6m/148 Subject: Re: [Caml-list] Policy to merge pull requests in the opam repository --Apple-Mail=_FA15422A-8F31-43C8-9757-FA99E180AE47 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 Thanks for the clarification. I just wanted to understand the workflow. Helmut > On May 16, 2017, at 11:03, Anil Madhavapeddy wrote: >=20 > There is a cron job that runs hourly, which rebuilds https://opam.ocaml.o= rg 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 un= til then it is a normal delay in the publishing workflow :-) >=20 > To get it immediately, you can: > - `opam init https://github.com/ocaml/opam-repository.git` on a new repository=20 > - `opam repo set-url default https://github.com/ocaml/opam-repository.git= ` to an existing installa= tion >=20 > which will fetch the packages directly and bypass the OPAM HTTP mirror. >=20 > regards, > Anil >=20 >> On 17 May 2017, at 00:00, Helmut Brandl > wrote: >>=20 >> I have done the `opam update` already. The merge is visible in the githu= b 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=98opa= m 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 reposit= ory >>>> 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 = want 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 create= d 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 wa= it 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 p= olicy. >>>>=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 >=20 --Apple-Mail=_FA15422A-8F31-43C8-9757-FA99E180AE47 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8 Thanks for the cla= rification. I just wanted to understand the workflow.

Helmut
On May 16, 2017, at 11:03, Anil Madhav= apeddy <anil@recoil.org> wrote:

<= meta http-equiv=3D"Content-Type" content=3D"text/html charset=3Dutf-8" clas= s=3D"">
There is a cron job that runs= hourly, which rebuilds http= s://opam.ocaml.org with the latest packages.  It should normally u= pdate within the hour, and your PR was merged 20 minutes ago.  If it h= asn't shown up within the next 60-90 minutes, then begin a gentle panic, bu= t until then it is a normal delay in the publishing workflow :-)

To get it immediately, you can:<= /div>
-  `opam init https://github.com/ocaml/opam-repositor= y.git` on a new repository 
- `opam repo set-= url default https://github.com/ocaml/opam-repository.git` to an existing in= stallation

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

regards,
Anil

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

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, M= ay 16, 2017 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 pu= ll request has been merged.

However the package is not yet installable via the command =E2=80=98o= pam install alba=E2=80=99. 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 use= rs <c= aml-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 an= d want to release the new version in the opam repository.
I have done all preparations, i.e. written the needed files opa= m,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 tri= ggered by the github workflow automatically.

W= hat 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 i= s 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=E2=80=99t want to urge anything. I just want to understand th= e policy.

Regards
Helmut

--
Caml-list mailing list.  Subsc= ription management and archives:
https://sympa.inria= .fr/sympa/arc/caml-list
Beginner's list: http= ://groups.yahoo.com/group/ocaml_beginners
Bug reports: h= ttp://caml.inria.fr/bin/caml-bugs
<= /div>



= = --Apple-Mail=_FA15422A-8F31-43C8-9757-FA99E180AE47--