From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <caml-list-owner@inria.fr>
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by c5ff346549e7 (Postfix) with ESMTPS id 773642DF6
	for <caml-list@inbox.ocaml.org>; Mon, 11 Mar 2019 13:35:41 +0000 (UTC)
X-IronPort-AV: E=Sophos;i="5.58,467,1544482800"; 
   d="scan'208,217";a="372840514"
Received: from sympa.inria.fr ([193.51.193.213])
  by mail2-relais-roc.national.inria.fr with ESMTP; 11 Mar 2019 14:35:36 +0100
Received: by sympa.inria.fr (Postfix, from userid 20132)
	id 9235B82650; Mon, 11 Mar 2019 14:35:36 +0100 (CET)
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 6135C82581
	for <caml-list@sympa.inria.fr>; Mon, 11 Mar 2019 14:35:28 +0100 (CET)
Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=yawar.amin@gmail.com; spf=Pass smtp.mailfrom=yawar.amin@gmail.com; spf=None smtp.helo=postmaster@mail-io1-f51.google.com
IronPort-PHdr: =?us-ascii?q?9a23=3AtGY+WBeOhv6pO9d+B/BQNuxAlGMj4u6mDksu8pMi?=
 =?us-ascii?q?zoh2WeGdxcu8ZR7h7PlgxGXEQZ/co6odzbaP6+a4ACQp2tWoiDg6aptCVhsI24?=
 =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?=
 =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9HiTagfb9+Ngm6oRjMvcQKnIVuLbo8xAHUqXVSYe?=
 =?us-ascii?q?RWwm1oJVOXnxni48q74YBu/SdNtf8/7sBMSar1cbg2QrxeFzQmLns65Nb3uhnZ?=
 =?us-ascii?q?TAuA/WUTX2MLmRdVGQfF7RX6XpDssivms+d2xSeXMdHqQb0yRD+v9LlgRgP2hy?=
 =?us-ascii?q?gbNj456GDXhdJ2jKJHuxKquhhzz5fJbI2JKPZye6XQds4YS2VcRMZcTyNOAo2+?=
 =?us-ascii?q?YIUPAeQPPvtWoZfhqFYVtxSyGROhCfnzxjNUhHL727Ax3eQ7EQHB2QwtB9ABv2?=
 =?us-ascii?q?7ardrvLqcZTPy4zKzJzTXFcvhb3jf855LGcx87u/GAR6h/cc/QyUkpDA7FgVCQ?=
 =?us-ascii?q?ppbkPzORzOgCr2+b7+95WO+plmUpqBlxryCxysswjoTFnIEYx1De+SlkwYs4JM?=
 =?us-ascii?q?e0RU5mbdOiDZBerTuVN5FsTcMnW2xouDg1yrkBuZOjeSgF0pUnxxrGZ/yGdIiE?=
 =?us-ascii?q?/wvvVOiRLDtlnn5ld7W/hxG98Uik1OLwTNW70FFPriZdk9nMsG4C1wDL58SZVv?=
 =?us-ascii?q?dw+l2t1DWP2gzJ9+1JIEE5mbDbJpI82rIwk4AcsUXHHi/4gkX2i6qWe10k++ey?=
 =?us-ascii?q?5eXoeK/mqoWGOI9xiwH+NL8jmsO6AesiMwgOW3KX9vi71L3m5UH5WqlFjuUqkq?=
 =?us-ascii?q?nFt5DXPdgUqbS8Aw9Ry4oj7xe/Dyy60NkDhnkGLFdFeAqdgITzOlHOJur4Dfal?=
 =?us-ascii?q?jFi2njdr3aOOArq0JJTGKXxKi4DGf7tx4nl2RBB7mdZe7JVQA6pHJ/D+Vka3vt?=
 =?us-ascii?q?XCJhs0Iw26wqDsD9Arha0EXmfaM6aGObmamFqJ4Kp7MuCTbZVTsTP8LdAq4vfv?=
 =?us-ascii?q?iTkynlpLLvrh5ocedH3tRqcuGE6ee3e5x45ZST5b7Dp7d/TjjRi5aRAWYn+zW6?=
 =?us-ascii?q?wm4TRiUdCpCI7CQsamh7nThX7nTK0TXXhPDxW3KVmtb5+NAq5eZyebI8snmTsB?=
 =?us-ascii?q?B+D4Ft0RkCq2vQq/8IJJa+rZ/ipC6MDm3dlxouzUzFQ8qGUyAMOa3GWACWpzmz?=
 =?us-ascii?q?FQSg=3D=3D?=
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CrAQBWY4ZchzOmVdFkHQEBBQEHBQGBZ?=
 =?us-ascii?q?YI3gUQnhAmBHYJej0+CDYlCcYgAhgeBZw2EbAKEOhoHAQQ0EgEBAwEBBwEDAQE?=
 =?us-ascii?q?BEwEBAQgNCQgpIwyCOikBgmcBBAEjHQEbHQEDAQsGBQQBBhkJAQMBAQ8CAiIBE?=
 =?us-ascii?q?QEFARwGExqDCIFdAQMNCKNoPIsdgRIFAReCeQWEMQoZJw1fgTgCBhKBHYstgVc?=
 =?us-ascii?q?/gRGCZC6BQYJ7DXcJDgQEgiyCVwOKRoYqR5JqBwKCQgSQRhmBeYkviBKaCoNOD?=
 =?us-ascii?q?yGBPYF3MxojUAcqgV5dggoYAoIlgS+KbyYwAY19gj4BAQ?=
X-IPAS-Result: =?us-ascii?q?A0CrAQBWY4ZchzOmVdFkHQEBBQEHBQGBZYI3gUQnhAmBHYJ?=
 =?us-ascii?q?ej0+CDYlCcYgAhgeBZw2EbAKEOhoHAQQ0EgEBAwEBBwEDAQEBEwEBAQgNCQgpI?=
 =?us-ascii?q?wyCOikBgmcBBAEjHQEbHQEDAQsGBQQBBhkJAQMBAQ8CAiIBEQEFARwGExqDCIF?=
 =?us-ascii?q?dAQMNCKNoPIsdgRIFAReCeQWEMQoZJw1fgTgCBhKBHYstgVc/gRGCZC6BQYJ7D?=
 =?us-ascii?q?XcJDgQEgiyCVwOKRoYqR5JqBwKCQgSQRhmBeYkviBKaCoNODyGBPYF3MxojUAc?=
 =?us-ascii?q?qgV5dggoYAoIlgS+KbyYwAY19gj4BAQ?=
X-IronPort-AV: E=Sophos;i="5.58,467,1544482800"; 
   d="scan'208,217";a="372840415"
X-MGA-submission: =?us-ascii?q?MDHGl5ceanUQ89Q2L/ljj+F4pnmyinCLU5v999?=
 =?us-ascii?q?Xe8LzkZiAgRUosqFwSTRoTdjs2L7hBBzeU8d8HEAyNfanV4C38bT/5vx?=
 =?us-ascii?q?NCBn3PGjZ7xDZHhuK/bleGcRtzMDexXMQfHTyxRrCVUV2G04O2Pen+oa?=
 =?us-ascii?q?5NqruOu4WZhiM0OIpJJkgs/w=3D=3D?=
Received: from mail-io1-f51.google.com ([209.85.166.51])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 11 Mar 2019 14:35:27 +0100
Received: by mail-io1-f51.google.com with SMTP id f6so4019385iop.3
        for <caml-list@inria.fr>; Mon, 11 Mar 2019 06:35:27 -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
         :cc;
        bh=gpEDeKnio27hbAEikOcCxF6NkWUYomUX9UBoBzQbzGY=;
        b=Bi1ujOxRcAeZzHjPqpibSyQCWXplteoBh3qsLLRe5NcGkrjP9uRHtzCiTZD2WFYSEb
         IDNwx7ar1zTPVTxLDRBex+s2r1Ii0JjLxoFD0ke7NNoiamRIAUjxpKpDPsUpunm8uJF/
         H9dNLUFXE+a46d+i36Q9Unakz+bBKbYuJTjxVPoZeSSyJ48S1ZFAe08ZlPdiqi6gBj0R
         pHSo89XyXx5D4a/hy5VdDZRdHysUQQZExqMwVgzKPhg7WU1gDiQFhgu7m6DvNTsXdsnO
         JWIeZR9WITncn5HFc1p0+TQWac98dnO8Bbx7xW5ckA2FmGVDuOMP0z3O6m14MpWC4nEW
         pYdQ==
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:cc;
        bh=gpEDeKnio27hbAEikOcCxF6NkWUYomUX9UBoBzQbzGY=;
        b=oVem91BwuNhR3c8TrsWqdTqPr2NoNX5rMTHYyrlrDe9Zy6xE0aaVmPJK3fUd7pNBD/
         B4DPTqvw3/vs/IeEL53nLai1RPhW3LqI451QZrYZwecvnzmxn1/oI3zI5xsl9wWACnez
         sy5fzmOSbo4Z+QvKD61bfDIzXU78Ay0Ry5QD9J/Sj1unPUSxo45US9kr77fPNBdxVZ9r
         VoQibx1gX4LpV9/1UQvOc+/5FBiM2OSifRVBwUVIpOaCjY8KR9PrwJiTdvBH8mFPVnp7
         NsENmmLcBPPcrcqfhuV42JyCfvYF2aphT7VOKWppCmPwCFlMUUmb6Clp6uobKqWScYyt
         cqEg==
X-Gm-Message-State: APjAAAULdzeNhVj9vCnjIKhlVARxfaCYbctpjYAQ/Ns36PwuQ6qgeWoK
	4FFttQwexsUyrpetf+Imbb3rJcRTOsX9AmoJk7ohOck1xQ==
X-Google-Smtp-Source: APXvYqyzBrXHOIPKCk10FTI1dC309SvsCyxOO/oXDGns3aY9H9lWsckOPqS8tFS6FdfqUgu4yJ9kiUT0T+xd/jd1ANM=
X-Received: by 2002:a5d:9455:: with SMTP id x21mr17856113ior.250.1552311325894;
 Mon, 11 Mar 2019 06:35:25 -0700 (PDT)
MIME-Version: 1.0
References: <CADK7aFN6AxOD4nh+ddZR+HJ5Zw09JDSNC-6Bj0rrR0+QTmj1=A@mail.gmail.com>
In-Reply-To: <CADK7aFN6AxOD4nh+ddZR+HJ5Zw09JDSNC-6Bj0rrR0+QTmj1=A@mail.gmail.com>
From: Yawar Amin <yawar.amin@gmail.com>
Date: Mon, 11 Mar 2019 09:35:26 -0400
Message-ID: <CAJbYVJ+fpT=zMRKDft=SqiZu02fBQCV2ARTXVRympv1cGq-ONw@mail.gmail.com>
To: =?UTF-8?Q?Nicol=C3=A1s_Ojeda_B=C3=A4r?= <nicolas.ojeda.bar@lexifi.com>
Cc: OCaml Mailing List <caml-list@inria.fr>
Content-Type: multipart/alternative; boundary="000000000000292b250583d1a586"
Subject: Re: [Caml-list] IMPORTANT: Switching from Mantis to GitHub issues
 on March 14th
Reply-To: Yawar Amin <yawar.amin@gmail.com>
X-Loop: caml-list@inria.fr
X-Sequence: 17397
Errors-to: caml-list-owner@inria.fr
Precedence: list
Precedence: bulk
Sender: caml-list-request@inria.fr
X-no-archive: yes
List-Id: <caml-list.inria.fr>
List-Archive: <http://sympa.inria.fr/sympa/arc/caml-list>
List-Help: <mailto:sympa_inria@inria.fr?subject=help>
List-Owner: <mailto:caml-list-request@inria.fr>
List-Post: <mailto:caml-list@inria.fr>
List-Subscribe: <mailto:sympa_inria@inria.fr?subject=subscribe%20caml-list>
List-Unsubscribe: <mailto:sympa_inria@inria.fr?subject=unsubscribe%20caml-list>

--000000000000292b250583d1a586
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

This is good news. If I understand correctly, I don't need to do anything
if my Mantis and GitHub usernames are the same, right?

Regards,

Yawar

On Mon, Mar 11, 2019 at 6:59 AM Nicol=C3=A1s Ojeda B=C3=A4r <
nicolas.ojeda.bar@lexifi.com> wrote:

> Dear caml-list,
>
> We are going to switch the OCaml bug tracker from Mantis to GitHub
> issues on Thursday, March 14. Existing bug reports will be migrated
> with the help of a script. On this day, Mantis will be offline and the
> GitHub repository will be read-only until the migration is finished.
>
> A reminder will be sent to this list shortly before the migration.
>
> IMPORTANT: if you wish to have the migrated issues use your GitHub
> user name instead of your Mantis user name, you MUST send me both user
> names before March 14 so this is taken into account during migration.
> This may be convenient if you want to be automatically subscribed to
> issues you authored and/or monitored in Mantis and you do not already
> subscribe to all GitHub notifications.
>
> Do not hesitate to get back to me if you have any questions.
>
> Best wishes,
> Nicol=C3=A1s
> on behalf of the OCaml development team
>

--000000000000292b250583d1a586
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">This is good news. If I understand=C2=A0correctly, I don&#=
39;t need to do anything if my Mantis and GitHub usernames are the same, ri=
ght?<div><br></div><div>Regards,</div><div><br></div><div>Yawar</div></div>=
<br><div class=3D"gmail_quote"><div dir=3D"ltr" class=3D"gmail_attr">On Mon=
, Mar 11, 2019 at 6:59 AM Nicol=C3=A1s Ojeda B=C3=A4r &lt;<a href=3D"mailto=
:nicolas.ojeda.bar@lexifi.com">nicolas.ojeda.bar@lexifi.com</a>&gt; wrote:<=
br></div><blockquote class=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8e=
x;border-left:1px solid rgb(204,204,204);padding-left:1ex">Dear caml-list,<=
br>
<br>
We are going to switch the OCaml bug tracker from Mantis to GitHub<br>
issues on Thursday, March 14. Existing bug reports will be migrated<br>
with the help of a script. On this day, Mantis will be offline and the<br>
GitHub repository will be read-only until the migration is finished.<br>
<br>
A reminder will be sent to this list shortly before the migration.<br>
<br>
IMPORTANT: if you wish to have the migrated issues use your GitHub<br>
user name instead of your Mantis user name, you MUST send me both user<br>
names before March 14 so this is taken into account during migration.<br>
This may be convenient if you want to be automatically subscribed to<br>
issues you authored and/or monitored in Mantis and you do not already<br>
subscribe to all GitHub notifications.<br>
<br>
Do not hesitate to get back to me if you have any questions.<br>
<br>
Best wishes,<br>
Nicol=C3=A1s<br>
on behalf of the OCaml development team<br>
</blockquote></div>

--000000000000292b250583d1a586--