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