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 963447FA5E for ; Tue, 16 May 2017 17:55:41 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=romain.calascibetta@gmail.com; spf=Pass smtp.mailfrom=romain.calascibetta@gmail.com; spf=None smtp.helo=postmaster@mail-vk0-f51.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of romain.calascibetta@gmail.com) identity=pra; client-ip=209.85.213.51; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="romain.calascibetta@gmail.com"; x-sender="romain.calascibetta@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of romain.calascibetta@gmail.com designates 209.85.213.51 as permitted sender) identity=mailfrom; client-ip=209.85.213.51; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="romain.calascibetta@gmail.com"; x-sender="romain.calascibetta@gmail.com"; 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@mail-vk0-f51.google.com) identity=helo; client-ip=209.85.213.51; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="romain.calascibetta@gmail.com"; x-sender="postmaster@mail-vk0-f51.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3ATShcnxMLW0NyGZnWZ+gl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0I/jzrarrMEGX3/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/7xaI10+ojHg/G0gIuHM8Avm?= =?us-ascii?q?rIo9juLqgeTfq4wbPUwTnfbf5b3yr25ojSchAmpPGBRa5+cc3UyUY1FgPFiEib?= =?us-ascii?q?pJL/MDORzOsNqHSU7+t7Wu2xl24ntxt+qSWoy8c2jYnJg5gaylHC9Slj3Ik6P9?= =?us-ascii?q?m4R1RgYdG4EZtfrD+VN5dqQsw4WGxotyM6xacHuZ6/ZiQF1JMnxxvGZvGBboOG?= =?us-ascii?q?7BXjVOOLLjd5gnJoYLO/hxCo8Uih0OLwTMe00ExSoitFiNbMtncN1xvJ5sebTf?= =?us-ascii?q?t9+0Gs0iuM2QDL8uxIP1w4mK7BJ5MiwrM8jIQfvVnNEyPsmEj6kambfVg+9Oey?= =?us-ascii?q?8eToeLDmq4ecN4BqjgH+NbwjmsmlDuQ5NggCRnab+eeg2LH68030QKhGguc5kq?= =?us-ascii?q?net5DaKsAbqbCjDwBJ1YYj7g6zDzag0NsGgXkKNExJdA6DgoTzOFzDIOr0Aemi?= =?us-ascii?q?j1miijtmx+3KMqXkAprXL3jDlLnhfax6605Z0Acz19df55dOBbEAJvL/QFP+u8?= =?us-ascii?q?bcDhAjKAy73+fnB85j2YMCRWKAGLSUMKzXsVCS5+IvJ/OAa5MSuDb4M/Ql/eLh?= =?us-ascii?q?jWclmV8BeqmkxYcYZ2q9HvRiOkmZZXvsgswdEWoRpQo/TOnqiEWYXjJJZnayWb?= =?us-ascii?q?g85jAhB468A4fDXNPlvLvU/Cq/G4BKLkpcA1aAFT+8d4iAXuoQLiiIK8ltlhQL?= =?us-ascii?q?UKjnTYI9g1Xmvwb/z/J6NefO4WVMvpvm0J1x5vbPvRA07z19ScqHhTKjVWZxy1?= =?us-ascii?q?kPQjY32uhUqEh00VyC26Vkn/UQQcZU4vpIVEExPJrV1Od7Ad3uRgvpcdKASVLg?= =?us-ascii?q?SdKjV2JiBuktysMDNh4uU+6piQrOim/3WrI=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CYFgAFIBtZhjPVVdFcGwEBAQMBAQEJA?= =?us-ascii?q?QEBFwEBBAEBCgEBhAyBDINsgTaPMYsWgj+GVocohTiCDyyFeAKFTUEWAQEBAQE?= =?us-ascii?q?BAQEBAQESAQEBCAsLCCgvgjMkgkEBAQEBAgEjHQEbEgwDAQsGBQsGAwECDh0CA?= =?us-ascii?q?iIBEQEFAQoBCQgGARIICol4AQMNCA6fbD+MB4IEBQEcgwoFg10KGScDClaCaQE?= =?us-ascii?q?BAQEBBQEBAQEBAQEZAgYShk2EeYJUgi8NgmWCYAEEh2cMlheCEIUMi3+CBFWPE?= =?us-ascii?q?oh/iXwzgRUPFwlnS3BbGYRPH4FvQDaIQwEBAQ?= X-IPAS-Result: =?us-ascii?q?A0CYFgAFIBtZhjPVVdFcGwEBAQMBAQEJAQEBFwEBBAEBCgE?= =?us-ascii?q?BhAyBDINsgTaPMYsWgj+GVocohTiCDyyFeAKFTUEWAQEBAQEBAQEBAQESAQEBC?= =?us-ascii?q?AsLCCgvgjMkgkEBAQEBAgEjHQEbEgwDAQsGBQsGAwECDh0CAiIBEQEFAQoBCQg?= =?us-ascii?q?GARIICol4AQMNCA6fbD+MB4IEBQEcgwoFg10KGScDClaCaQEBAQEBBQEBAQEBA?= =?us-ascii?q?QEZAgYShk2EeYJUgi8NgmWCYAEEh2cMlheCEIUMi3+CBFWPEoh/iXwzgRUPFwl?= =?us-ascii?q?nS3BbGYRPH4FvQDaIQwEBAQ?= X-IronPort-AV: E=Sophos;i="5.38,349,1491256800"; d="scan'208,217";a="273371692" Received: from mail-vk0-f51.google.com ([209.85.213.51]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 16 May 2017 17:55:40 +0200 Received: by mail-vk0-f51.google.com with SMTP id x71so68205308vkd.0 for ; Tue, 16 May 2017 08:55:40 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to; bh=Z65/LdA+XoKo4LV56zqZcfzAaM04ujQ3CzDcS3yAqb4=; b=ZslW5VysOu+lMFMlt1/98MWuF3399osHi47OkzMSCFtsn9XsSYIneqESlbu77cInmn JMiJIqQIaUmpbNCXtYJubZ9wS5PKuZRekIKsYANxRUbk180XD5mdBeNTAIzbOZWuWssD /MwJfocC0KsREGNLQtx4172xKTOq0Xlcqg66u5+el98lbqS2aaspN532RPHkuaSHJttm ZDpHE2aQ6R9n5hRySHgXR1o3WcHpKtJ5t3bD968YZWDFe9/23Lzfo5RJ7Nih77yqABo1 qzt49Osmjwn+zRFoQSzuMQF1WQnhb4Hotxo0htwZQ80HhQt9l/shOlaiiDqsB+Fcf7Aa Nrzg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to; bh=Z65/LdA+XoKo4LV56zqZcfzAaM04ujQ3CzDcS3yAqb4=; b=gTo45fqixfoQDHorCOe0HzjuuTJkOihzjeNS0OvYkQdu7sbsMALC7T1Qthp2DnzI3g hWwIGDZNfKTtT1DauEFrok1jfwwQyi2MeXQV4kko3ty7t0ZrSwr39dpN4PvkAA7F8jTS 3GK2UmpWukdn/Q6RwUeo3Y4/kQVlSZEjjc7XvrnQZylTrnnj6a3fb0aK8cGVregQbJz5 +Bs+fPjO+Has7Sv70BI5qM4RaicSzd4ThWG2/sRsGHeu9+x6NEjkQMVimdDRafq+vh+3 X1WF0FxmZYhFYiW0iU9x7NRauynyhoH+cCGz3c+TNaH1cmedeYCDPrLOYrpidUkimbw7 HDgw== X-Gm-Message-State: AODbwcBoLeChA1WxIKHgSIwfgMekR4VwZb5jr5B5DzBKbdaB1jTiDrx0 bFxTTF8Sh/xryFYCdcAAMAo+AZ1Pzw== X-Received: by 10.31.157.132 with SMTP id g126mr778487vke.60.1494950139168; Tue, 16 May 2017 08:55:39 -0700 (PDT) MIME-Version: 1.0 References: <5437E987-FE58-463F-9BBC-E418D944E48D@gmx.net> In-Reply-To: <5437E987-FE58-463F-9BBC-E418D944E48D@gmx.net> From: Romain Calascibetta Date: Tue, 16 May 2017 15:55:28 +0000 Message-ID: To: Helmut Brandl , caml users Content-Type: multipart/alternative; boundary="001a11425fc4008c62054fa634de" Subject: Re: [Caml-list] Fwd: Policy to merge pull requests in the opam repository --001a11425fc4008c62054fa634de Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Hi, You need to launch `opam update` before :) ! Regards, Romain Calascibetta 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. > > 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 > > 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=E2=80=99t want to urge anything. I just want to understand the poli= cy. > > 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 > > --001a11425fc4008c62054fa634de Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hi,

You need to launch `opam update` be= fore :) !

Regards,

Romain= Calascibetta

On= Tue, May 16, 2017 at 10:53 PM Helmut Brandl <helmut.brandl@gmx.net> wrote:
Sorry for my impatienc= e. I=E2=80=99ve just got the message that my pull request has been merged.<= div>
However the package is not yet installable via the comma= nd =E2=80=98opam install alba=E2=80=99. Does this only take some time as we= ll?

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: To: caml users <caml-list@inria.fr>
=
Reply-To: Helmu= t Brandl <hel= mut.brandl@gmx.net>
<= div style=3D"word-wrap:break-word">

=
Hello list,

I have managed to prepare a new version of the= Albatross verifier and want to release the new version in the opam reposit= ory.

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.

What is the policy to g= et 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 tha= t the merge can only be done by people who have write access to the opam re= pository. How is the frequency?

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

Regards
Helmut

--=
Caml-list mailing list.=C2=A0 Subscription management and archives:h= ttps://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http= ://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bi= n/caml-bugs
--001a11425fc4008c62054fa634de--