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 526942DF6 for ; Fri, 15 Mar 2019 08:49:00 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.58,481,1544482800"; d="scan'208,217";a="373530616" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 15 Mar 2019 09:48:13 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 9177382652; Fri, 15 Mar 2019 09:48:13 +0100 (CET) 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 AF07082603 for ; Fri, 15 Mar 2019 09:48:08 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=gabriel.scherer@gmail.com; spf=Pass smtp.mailfrom=gabriel.scherer@gmail.com; spf=None smtp.helo=postmaster@mail-qt1-f178.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AaIot1h8sHQjYcf9uRHKM819IXTAuvvDOBiVQ1KB3?= =?us-ascii?q?1+8cTK2v8tzYMVDF4r011RmVBN2ds6sMotGVmpioYXYH75eFvSJKW713fDhBt/?= =?us-ascii?q?8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1?= =?us-ascii?q?Ifn+FpLPg8it2O2+5oHfbx9UiDagfLh/MAi4oQLNu8cMnIBsMLwxyhzHontJf+?= =?us-ascii?q?RZ22ZlLk+Nkhj/+8m94odt/zxftPw9+cFAV776f7kjQrxDEDsmKWE169b1uhTF?= =?us-ascii?q?UACC+2ETUmQSkhpPHgjF8BT3VYr/vyfmquZw3jSRMNboRr4oRzut86ZrSAfpiC?= =?us-ascii?q?gZMT457HrXgdF0gK5CvR6tuwBzz4vSbYqINvRxY7ndcMsVSmpPXMlfVyJPDICh?= =?us-ascii?q?YYURE+UMJvxXo5XnqlYUsReyGQuhCeXywTFInH/22qg63vwgHw7cxwMgBdMOv2?= =?us-ascii?q?rQrN7oKakdTeC1w7fSzTrddfNdxDDw6IfSfR86u/GMXKx/cc7LxUk0CwzFjkuf?= =?us-ascii?q?qZb7MDOPzekNvG2b4PBhVeKrkWIotwZxoj22y8oql4LHiIUVylXe+iV4xoY4Pd?= =?us-ascii?q?K4SE9nYd6kDZtfrDuWOJdxQsMnRWxjpSU0yqUetJKlYCQHzI4ryh3fZvCdboSF?= =?us-ascii?q?4w7vWPyMLTp6h39ofq+0iQyo/ki60OL8U9G50FZUoSpBldnBrnUN2AbS6siDU/?= =?us-ascii?q?d951uh1SuW2wDd9+1JI0M5mbDUK54mxb4wmZ4TvlrZEiDqn0X2ibeadkQi+ue2?= =?us-ascii?q?9+TqeqvqqoOYOoNuiQzzMr4iltG+DOgkKAQCQmqW9Oek2L3m50L5QbFKjvMskq?= =?us-ascii?q?netZDXPcsbqbSiDA9P04Ys9RK/Ay290NsEnXkIMkhFdwydj4XyNFHOJer3Dfa7?= =?us-ascii?q?g1i2jDhrwPXGMqX7AprRNnjDjKvhfbFl5kFA0gUzyNRf64tQCrEAO/LzRlT8tM?= =?us-ascii?q?fYDx88Kwy72fzrCNR71oMEWGKAGLWVMK3IsQzA2uV6BeiHY4ucowHaKfUp7snE?= =?us-ascii?q?AWVxzVkcdq6t1IBRb3K1Ev0gKUyDSX7hktYPECEBuQ9oH8Lwj1jXfjdZfXe/W+?= =?us-ascii?q?oH7TE2Eo+8RdPMT4q3gbGFmjywHpBMa3puBVWFEHOufIKBDaRfIBmOK9Nsx2RX?= =?us-ascii?q?HYOqTJUsgFT37FejmuhXa9HM8yhdjqrNkd185undjxY3rGUmAMGU0mXLRGZxzD?= =?us-ascii?q?pRG20GmZtnqEk48W+tlLBiiqUBR9NW7vJNFAw9MMyElrEoO5XJQgvEO+yxZhOm?= =?us-ascii?q?T9GhW29jS9swx5oXfx84FYz93lbM2C2lB7JTnLuOVsQ5?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A9AADBZYtchrKgVdFkHAEBAQQBAQcEA?= =?us-ascii?q?QGBUQcBAQsBgndQMyeEC4Edgl6EIYshgWsFHYo0jX0UgWcNI4RJAoRQGgcBBDA?= =?us-ascii?q?JDQEBAwEBCQEDAQEBEwEBAQgLCwgbDiMMgjopAYJmAQEBAQIBIx0BGx0BAwELB?= =?us-ascii?q?gULDQwJAQMBAQ8CAiIBEQEFARwGEwiDGgGBXAEDDQgPoCs8ix2BEgUBF4J5BYR?= =?us-ascii?q?DChknDV+BOAIBBRKBHQGLMoFXP4ERgmQugUGBXQIBgRsNZRIJDgQEgiyCVwOKT?= =?us-ascii?q?4YyR4ZRjC8HAoJHBIUQi0cZgXuFbYNKiB6QeIlFg1EPIYEmgg4zGiNQByqBXl2?= =?us-ascii?q?CChgCgiWBL4pUQTABjDWCPgEB?= X-IPAS-Result: =?us-ascii?q?A0A9AADBZYtchrKgVdFkHAEBAQQBAQcEAQGBUQcBAQsBgnd?= =?us-ascii?q?QMyeEC4Edgl6EIYshgWsFHYo0jX0UgWcNI4RJAoRQGgcBBDAJDQEBAwEBCQEDA?= =?us-ascii?q?QEBEwEBAQgLCwgbDiMMgjopAYJmAQEBAQIBIx0BGx0BAwELBgULDQwJAQMBAQ8?= =?us-ascii?q?CAiIBEQEFARwGEwiDGgGBXAEDDQgPoCs8ix2BEgUBF4J5BYRDChknDV+BOAIBB?= =?us-ascii?q?RKBHQGLMoFXP4ERgmQugUGBXQIBgRsNZRIJDgQEgiyCVwOKT4YyR4ZRjC8HAoJ?= =?us-ascii?q?HBIUQi0cZgXuFbYNKiB6QeIlFg1EPIYEmgg4zGiNQByqBXl2CChgCgiWBL4pUQ?= =?us-ascii?q?TABjDWCPgEB?= X-IronPort-AV: E=Sophos;i="5.58,481,1544482800"; d="scan'208,217";a="299340415" X-MGA-submission: =?us-ascii?q?MDHiqomDJhOUL0YstP8Nr7RKCsG2hNYK2NYtqx?= =?us-ascii?q?N6fwqYUD1lZskcXYL6TKG2ZV+h22I5t2oE512TQ3Xb0bcg8Snd9aM8Oa?= =?us-ascii?q?0cY9DUHTiENVveF+pjhkP85wzJuad9+uACWHQnekmxu8+ZVR9OqVZaCk?= =?us-ascii?q?iwyn1odnYbn+FJH1PmeqwRIw=3D=3D?= Received: from mail-qt1-f178.google.com ([209.85.160.178]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 15 Mar 2019 09:47:35 +0100 Received: by mail-qt1-f178.google.com with SMTP id v20so9184188qtv.12 for ; Fri, 15 Mar 2019 01:47:35 -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=g88+vIXvCDfetaPubispOu5kFJmBdoR01ChNJS18Lc8=; b=TRtbEPpk6GNuQJLcaW90C0+f0ZEv+4U3UuClpyjVs9Xo0b0MeOe4FBJzdr1QidxSGv Wy9oxrhzYmacJxSnqLc6eNDFHtIKBfY7vrkE1BRwGr7aXnkEn0QQi7uSXxNaJhqIJF77 t7ev8wHJC7YQyXFugiCA7AsP3zmUJ8hWgwfJRVlGWWMgLXV8IBYI02o8u4KzFrubxzZy DH1jU4Nb54fJrbkUUCUksJ9rT/Ef2zhG7RCUdz0XwN4aGJSg1cFNT7toyk0Y6DuMFv5Y TS8UrjHwdfIKgG/0KzqiJ9Qtid9RR0iQ0g8aIFH14T8gJitrTWN+DVN8G2bzka6OfRpX lVow== 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=g88+vIXvCDfetaPubispOu5kFJmBdoR01ChNJS18Lc8=; b=A+kMWRtozA9XLC7kxfuMMuziuN+8pQYs5ORwjnBq2OafhSiTSM/cncr3uO6AmbMy1U fo0lcSkGG9pDLhP7bFGQfJi4nP/6k5mfexHdqN007kVKFKHABR2nNs08dlIkZZCVs4Ti 3VuPIWwZAIH2I2qBSMbWUR29DAQrg4HfXFKkHAdsbOb56aHoqrJ84z5J5WbzNZeR+S5O cqIGPQwTzHc3K6q7QSZH3Pe8PpzyTiF4Xd2LL6rPKmTckSQD+mJZbW8rNi+J3JNnp+2F Cs9+8jYwo1uTV1YUUdCkPiIJQ/W6/ykld8zTDcwh0t7veOlLJ8LXb7ppTWW+rWKmI8wR nVKg== X-Gm-Message-State: APjAAAWIQF4CXx0Pu2xxLq0DMObl/Mm43oC1/NB4XOGgrGg3jfSUUWt4 dplXLtDYaeW1w4gqD01NWttdaLk6UgZvg6iDZ9Pexg== X-Google-Smtp-Source: APXvYqy0nrcR7tNNRkqp4yXYU3eCWgf536fdoX3eqmc83ICzwz7YkuZE4HEg+lbVq3Os7a4p6stKALYPKqCRqL/pUgw= X-Received: by 2002:ac8:148b:: with SMTP id l11mr1773781qtj.290.1552639654329; Fri, 15 Mar 2019 01:47:34 -0700 (PDT) MIME-Version: 1.0 References: In-Reply-To: From: Gabriel Scherer Date: Fri, 15 Mar 2019 09:58:44 +0100 Message-ID: To: =?UTF-8?Q?Nicol=C3=A1s_Ojeda_B=C3=A4r?= Cc: OCaml Mailing List Content-Type: multipart/alternative; boundary="0000000000000f82da05841e174a" Subject: Re: [Caml-list] IMPORTANT: Switching from Mantis to GitHub issues on March 14th Reply-To: Gabriel Scherer X-Loop: caml-list@inria.fr X-Sequence: 17421 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: --0000000000000f82da05841e174a Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Thanks a lot for the hard porting work! On Fri, Mar 15, 2019 at 12:13 AM Nicol=C3=A1s Ojeda B=C3=A4r < nicolas.ojeda.bar@lexifi.com> wrote: > Dear caml-list, > > Thank you for your patience. The migration of the OCaml bug tracker is > now complete. > If you need to report a bug, please do so at > > https://github.com/ocaml/ocaml/issues > > Note that some of the oldest Mantis issues had to be renumbered. You > can see the full list of renumbered issues here: > > https://github.com/ocaml/ocaml/blob/trunk/tools/mantis2gh_stripped.cs= v > > In the coming days, redirections will be put in place so that the old > Mantis URLs will point to the new GitHub ones. > > Happy bug reporting! > > Best wishes, > Nicol=C3=A1s > on behalf of the OCaml development team > > On Wed, Mar 13, 2019 at 12:45 PM Nicol=C3=A1s Ojeda B=C3=A4r > wrote: > > > > Dear caml-list, > > > > The switch of the OCaml bug tracker from Mantis to GitHub issues will > > take place tomorrow, March 14. > > Mantis will be offline and the GitHub repository will be read-only > > until the migration is finished. > > > > One more e-mail will be sent to this list once the migration is complet= e. > > > > IMPORTANT: there is still time to send me your Mantis and GitHub user > > names if you want your GitHub user name used in the migrated issues. > > > > Best wishes, > > Nicol=C3=A1s > > on behalf of the OCaml development team > > > > On Mon, Mar 11, 2019 at 11:58 AM Nicol=C3=A1s Ojeda B=C3=A4r > > 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 th= e > > > 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 use= r > > > 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 > --0000000000000f82da05841e174a Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Thanks a lot for the hard porting work!

On Fri, Mar 15,= 2019 at 12:13 AM Nicol=C3=A1s Ojeda B=C3=A4r <nicolas.ojeda.bar@lexifi.com> wrote:
Dear caml-list,

Thank you for your patience. The migration of the OCaml bug tracker is
now complete.
If you need to report a bug, please do so at

=C2=A0 =C2=A0 https://github.com/ocaml/ocaml/issues

Note that some of the oldest Mantis issues had to be renumbered. You
can see the full list of renumbered issues here:

=C2=A0 =C2=A0 https://github.c= om/ocaml/ocaml/blob/trunk/tools/mantis2gh_stripped.csv

In the coming days, redirections will be put in place so that the old
Mantis URLs will point to the new GitHub ones.

Happy bug reporting!

Best wishes,
Nicol=C3=A1s
on behalf of the OCaml development team

On Wed, Mar 13, 2019 at 12:45 PM Nicol=C3=A1s Ojeda B=C3=A4r
<nicol= as.ojeda.bar@lexifi.com> wrote:
>
> Dear caml-list,
>
> The switch of the OCaml bug tracker from Mantis to GitHub issues will<= br> > take place tomorrow, March 14.
> Mantis will be offline and the GitHub repository will be read-only
> until the migration is finished.
>
> One more e-mail will be sent to this list once the migration is comple= te.
>
> IMPORTANT: there is still time to send me your Mantis and GitHub user<= br> > names if you want your GitHub user name used in the migrated issues. >
> Best wishes,
> Nicol=C3=A1s
> on behalf of the OCaml development team
>
> On Mon, Mar 11, 2019 at 11:58 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 GitHu= b
> > issues on Thursday, March 14. Existing bug reports will be migrat= ed
> > with the help of a script. On this day, Mantis will be offline an= d the
> > GitHub repository will be read-only until the migration is finish= ed.
> >
> > A reminder will be sent to this list shortly before the migration= .
> >
> > IMPORTANT: if you wish to have the migrated issues use your GitHu= b
> > 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 migrat= ion.
> > This may be convenient if you want to be automatically subscribed= to
> > issues you authored and/or monitored in Mantis and you do not alr= eady
> > 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
--0000000000000f82da05841e174a--