From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTP id A7ADF2DF6 for ; Mon, 11 Mar 2019 19:52:29 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.58,468,1544482800"; d="scan'208,217";a="372903351" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 11 Mar 2019 20:52:28 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 1482D8264A; Mon, 11 Mar 2019 20:52:28 +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 B0ACE82581 for ; Mon, 11 Mar 2019 20:52:21 +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-f45.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AOo9FGhHvfoLE4HXA4qVJP51GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ78oc2wAkXT6L1XgUPTWs2DsrQY0rKQ6/mocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbAhEmSaxbaluIBmrsA7cqtQYjYx+J6gr1xDHuGFIe+?= =?us-ascii?q?NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S6dYDCk9PGAu+MLrrxjD?= =?us-ascii?q?QhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VC+85Kl3VhDnlC?= =?us-ascii?q?YHNyY48G7JjMxwkLlbqw+lqxBm3oLYfJ2ZOP94c6jAf90VWHBBU95eWCxPAIyy?= =?us-ascii?q?b4UBAekcM+hGs4bwvEEBoQekCAS2GO/j1j1Fi3nr1qM6yeQhFgTG0RQiEN0Uvn?= =?us-ascii?q?Xbts/1P7oOXOCwzanIyyjIYvRW2Djn5onHaAohreuWUrJ1cMrRz1IiFwzAjlqK?= =?us-ascii?q?qIzlOymZ2fgKs2ie9udtU/+khW0/qwxpvDSj2sMhhpPKi48V0FzI6CR0zYcvKd?= =?us-ascii?q?C3SEN2Z8OvHoFKuCGALYR2R9svQ2F2tyY+zb0LoZu7czILyJQj3hLfavuHf5WR?= =?us-ascii?q?7hLtW+ucIS10hH1ieLK4iBay9VavxvfgWcmz1VZGtitFkt/SuXARzxHf9NSLR/?= =?us-ascii?q?9n8kqi2TuDzR3f5+BFLEwumqfWK4YtwrsqmZoStUTDEDX2mELzjKKOdkQr4Oap?= =?us-ascii?q?5P79Yrn8vJCcMo50igflP6Qhn8ywG+U4MgwUU2eH/uS80aXv/VflT7VSkv02jq?= =?us-ascii?q?7ZvYjGKssBo665BxZZ0oIi6xakEzery88YnHkCLFJdYh2LlYnpO1fUIPD5F/iz?= =?us-ascii?q?mVqskC04j8zBa5vgCZLJp2P0t7Xscb9KwcJGgF41zNtY45tPTLYDLf76HEX4rv?= =?us-ascii?q?TcAw84PQ3yyOHiXoZTzIQbDFOGHaaDeIrXsFnAsvMmPOCWIoYQuTDVJP0s5vqo?= =?us-ascii?q?hng8zwxONZK11IcaPSjrVs9tJF+UND+12o9YQDU6+zEmRemvs2WsFDtaZnK8Ra?= =?us-ascii?q?U5v2hpB4evDIOFTYeo0uXYgHWLW6ZOb2UDMWiiVG/yftzdCfgJYSOWZMRml25c?= =?us-ascii?q?DOXze8oazRir8TTC5f9nI+7ToHBKsJvi0J104LSWm01vszNzCMuZ3ieGSGQmxm?= =?us-ascii?q?4=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CEAABwu4ZcgC2mVdFkHQEBBQEHBQGBV?= =?us-ascii?q?AUBCwGDeieECoEdgl6PU4INiUKIcYYHgWcNhGwChDoaBwEEMwYNAQEDAQEHAQM?= =?us-ascii?q?BAQETAQEJDQkIJyUMgjopAYJmAQEBAQIBIx0BBxQdAQMBCwYFBAcNDAkBAwEBD?= =?us-ascii?q?wICIQEBEQEFARwGExqEZQEDDQilDjyLHYESBQEXgnkFVYNyChknDV+BOAIGEoE?= =?us-ascii?q?dAYRbhlGBVz+BEYJkLoFBgRaBZQ13CQ4EBIIsglcDiiMjhipHkjczBwKCQgSER?= =?us-ascii?q?YhDgz4ZgXmJL4gSkg6HfINODyGBPIF4MxojUAcqgV5dggoYgieBL4pvJjABjgG?= =?us-ascii?q?CKBYBAQ?= X-IPAS-Result: =?us-ascii?q?A0CEAABwu4ZcgC2mVdFkHQEBBQEHBQGBVAUBCwGDeieECoE?= =?us-ascii?q?dgl6PU4INiUKIcYYHgWcNhGwChDoaBwEEMwYNAQEDAQEHAQMBAQETAQEJDQkIJ?= =?us-ascii?q?yUMgjopAYJmAQEBAQIBIx0BBxQdAQMBCwYFBAcNDAkBAwEBDwICIQEBEQEFARw?= =?us-ascii?q?GExqEZQEDDQilDjyLHYESBQEXgnkFVYNyChknDV+BOAIGEoEdAYRbhlGBVz+BE?= =?us-ascii?q?YJkLoFBgRaBZQ13CQ4EBIIsglcDiiMjhipHkjczBwKCQgSERYhDgz4ZgXmJL4g?= =?us-ascii?q?Skg6HfINODyGBPIF4MxojUAcqgV5dggoYgieBL4pvJjABjgGCKBYBAQ?= X-IronPort-AV: E=Sophos;i="5.58,468,1544482800"; d="scan'208,217";a="372903329" X-MGA-submission: =?us-ascii?q?MDF6Z/9WYKciDBsKSaKlNjCLM5o3AQl7B6JgD6?= =?us-ascii?q?dD2XR9hGF3dYZ69ScwoBhfd3m5R3RAkJYao+YvM6Ocr87n2+HYemjc6E?= =?us-ascii?q?vb3LDsorblGZDvrRUhCanIimz+J+iekp464zN0upq6DENd/8hMpaoy9r?= =?us-ascii?q?xHFviJ4jM1NfgRvAt642jaPQ=3D=3D?= Received: from mail-io1-f45.google.com ([209.85.166.45]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 11 Mar 2019 20:52:20 +0100 Received: by mail-io1-f45.google.com with SMTP id c4so5190051ioh.9 for ; Mon, 11 Mar 2019 12:52:20 -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=G+FMt/+YktHJIl//EzPwxTdWUQ+jnn0+rOwi5xcJZUY=; b=q71/fcM260Bt5lNzaZM9qrzE0kP0I/DrA5mzg2EPBE3bgo0mnrekzF+NelZaWlTYIy V76D6BpC8zhcNDxoKAvXftMtGD6LYfrmc+NYF7+HeA44IB2F8w6DjFb79Ygws4NX96A7 0gw15xNvzZVMsDj+gGXgZGJ8gkecHu1suH8zz8nZucHgf6aRWAv4KyljjOaHTk0BOuwZ Qe7wn5RjZlAwG3NwSldnhQyNFbEs9PDomvrJUS/wyQJguQdJf5Cb8ZtsiRAn4kRFI8Ky hcYPyfmeSbkGwFC5Duk+pjeUMwbHEUXX45PSFn+I6WBmT4fPjUGkS9jrPFHRxX0S+4fS lJEQ== 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=G+FMt/+YktHJIl//EzPwxTdWUQ+jnn0+rOwi5xcJZUY=; b=PGX7hS5WhFotkjkQ2P22MTG7uC8hP506sQE5SxoRLUCFFNDmyDZJkUrXySu6Oc82VO afwcWCXMVgeupg3Da0B4OvtxY6/7SwlP9q9DYpkDEhPCkSrOnTPG+CO9F+h7/sibCchr P5hjGdL6cmBboTby83OCsvHObciKJK3iDOabIf+aDx1vS4BWtuQxY9l2jbcSC7YpD2bc ebtCRYU7Z25OIsHIbeOl8m+eV4LcJt7Qjku5TYbscCYQzoxsoDiQxRXZ9y0QPzz2tzWI B+XPb1DQrXA/BfZWCLFnw6raYAEshNb9HuLCrwu4hKKIfWiq98i4kC+lQ94CB4jThHT7 mtsg== X-Gm-Message-State: APjAAAXVKafc5wIFzAkjvtgu9mt2a24sqZ/pc8Jv2RN/F3GyK9X1W0p0 GXc+mCZ3nXnpeBnl0G02e0T6fRn18pYk3mBkv3VcQCXFtQ== X-Google-Smtp-Source: APXvYqxtYEyZAwrRY+RASkbSSPK/MRMrvsaIWLEMCO/2JvGG9jn7kvAbgSAcDSI9UagK2kc/iVh1281ZtcaGOvQCHYE= X-Received: by 2002:a5e:d616:: with SMTP id w22mr3006802iom.118.1552333939512; Mon, 11 Mar 2019 12:52:19 -0700 (PDT) MIME-Version: 1.0 References: In-Reply-To: From: Yawar Amin Date: Mon, 11 Mar 2019 15:52:20 -0400 Message-ID: To: =?UTF-8?Q?Nicol=C3=A1s_Ojeda_B=C3=A4r?= Cc: OCaml Mailing List Content-Type: multipart/alternative; boundary="00000000000009a8770583d6e962" Subject: Re: [Caml-list] IMPORTANT: Switching from Mantis to GitHub issues on March 14th Reply-To: Yawar Amin X-Loop: caml-list@inria.fr X-Sequence: 17401 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: --00000000000009a8770583d6e962 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Thanks Nicol=C3=A1s, to save you the trouble of looking it up, my Mantis an= d GitHub usernames are both 'yawaramin'. Regards, Yawar On Mon, Mar 11, 2019 at 9:41 AM Nicol=C3=A1s Ojeda B=C3=A4r < nicolas.ojeda.bar@lexifi.com> wrote: > Hello, > > On Mon, Mar 11, 2019 at 2:35 PM Yawar Amin wrote: > > > > 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? > > Actually, you do. Among other reasons, we can't assume that similarly > named accounts actually belong to the same user. > > I will add your account to the migration script. Thanks! > > Best wishes, > Nicol=C3=A1s > > > 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 > --00000000000009a8770583d6e962 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Thanks Nicol=C3=A1s, to save you the trouble of looking it= up, my Mantis and GitHub usernames are both 'yawaramin'.

<= /div>
Regards,

Yawar

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

On Mon, Mar 11, 2019 at 2:35 PM Yawar Amin <yawar.amin@gmail.com> wrote:
>
> This is good news. If I understand correctly, I don't need to do a= nything if my Mantis and GitHub usernames are the same, right?

Actually, you do. Among other reasons, we can't assume that similarly named accounts actually belong to the same user.

I will add your account to the migration script. Thanks!

Best wishes,
Nicol=C3=A1s

> Regards,
>
> Yawar
>
> On Mon, Mar 11, 2019 at 6:59 AM Nicol=C3=A1s Ojeda B=C3=A4r <nicolas.ojeda.b= ar@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 migrate= d
>> 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 finishe= d.
>>
>> 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 migrati= on.
>> This may be convenient if you want to be automatically subscribed = to
>> issues you authored and/or monitored in Mantis and you do not alre= ady
>> 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
--00000000000009a8770583d6e962--