[Orekit Developers] forge migration within two months

[MAISONOBE Luc <luc.maisonobe@c-s.fr>]

Hi all,

As part of the infrastructure maintenance, we intend to migrate the forge
in  a timeframe of about two months.

This is not simply an upgrade, but a full migration from Redmine to GitLab-CE.

Migrating the git repository will be trivial, migrating the rest of the forge
(mainly issues) will be a more difficult task. We will try our best to  
preserve
as much past data as we can.

best regards,
Luc and Sébastien (who will do the hard work)