Hey all,
On Monday June 5th, 2023 at 15:00 UTC (8am US/Pacific) we (the Release
Engineering Team) will run scripts[0] to add a bunch of users to the
/repos/mediawiki group[1] on GitLab. You may see mail from GitLab as a
result.
We're adding accounts from the wmf and ops LDAP groups, to be synchronized
regularly. We'll also be doing a one-time import of the mediawiki group
defined in Gerrit. Users will initially be added with a GitLab role of
"Developer". If a user has not yet logged into GitLab with their developer
account, this process will first create a GitLab account for them.
While there's a lot to be done yet, this is one step in migrating MediaWiki
development to GitLab. You can track our progress on this at T335921[2],
and review a draft of the proposed namespace layout and permissions policy
on mw.org[3].
Thanks!
-- Release Engineering
[0].
https://gitlab.wikimedia.org/repos/releng/gitlab-settings/-/tree/main/group…
[1].
https://gitlab.wikimedia.org/repos/mediawiki/
[2].
https://phabricator.wikimedia.org/T335921
[3].
https://www.mediawiki.org/wiki/GitLab/Policy#MediaWiki_namespace