Thanks a lot for the hard porting work!

On Fri, Mar 15, 2019 at 12:13 AM Nicolás Ojeda Bär <
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.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ás
> on behalf of the OCaml development team
>
> On Wed, Mar 13, 2019 at 12:45 PM Nicolás Ojeda Bär
> <nicolas.ojeda.bar@lexifi.com> 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 complete.
> >
> > 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ás
> > on behalf of the OCaml development team
> >
> > On Mon, Mar 11, 2019 at 11:58 AM Nicolás Ojeda Bär
> > <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ás
> > > on behalf of the OCaml development team
>