Migrate to gitlab.gnome.org?

[Petr Kovar <pmkovar gnome org>]

Hi all,

More and more GNOME projects seem to be migrating from old git
infrastructure and Bugzilla to https://gitlab.gnome.org/.

Would there be any objections to moving our docs repos (gnome-user-docs
etc.) to gitlab.gnome.org after the upcoming stable release? 

This would affect the documentation work in the following way:

Contributors would follow a GitHub-like workflow by forking the docs repo,
creating a topic branch, and submitting a merge request when ready for peer
review.

Users would use the GitLab integrated issue tracker instead of Bugzilla.
Old bugs would be migrated to GitLab (and closed in Bugzilla).

There would be no need to upload patches to Bugzilla to contribute.

The overall process would feel more like 2017 rather than 2007 or 1997.

The translation process shouldn't be affected.

Thoughts, comments, concerns?

Best,
pk