On Tue, 16 Jan 2018 14:17:21 +0100 Gunnar Hjalmarsson <[email protected]> wrote:
> Hi Petr, > > On 2018-01-16 12:23, Petr Kovar wrote: > > I plan to provide further information when we migrate. > > Do you have an idea when it will happen? Not sure yet, this largely depends on the availability of those running the migration scripts (thanks goes to Carlos!) after the stable release. The do the migrations in batches, see https://gitlab.gnome.org/GNOMEInfrastructure/GitLab. Best, pk _______________________________________________ gnome-doc-list mailing list [email protected] https://mail.gnome.org/mailman/listinfo/gnome-doc-list
