[14:47:03] <wikibugs>	 10GitLab (Infrastructure), 10collaboration-services, 10Patch-For-Review: Switchover gitlab (gitlab1004 -> gitlab2002) - October 2023 - https://phabricator.wikimedia.org/T345531 (10Jelto) 05Open→03Resolved production GitLab was switched from gitlab1004 to gitlab2002 in codfw. I'll close the task.
[15:23:36] <physikerwelt>	 Can someone here add wikimedia developer accounts to gitlab?
[15:39:03] <wikibugs>	 10GitLab (Account Approval), 10Math, 10Mathoid: Activate GitLab account for Stegmujo and add Stegmujo to mathoid developers - https://phabricator.wikimedia.org/T348463 (10Physikerwelt)
[15:47:57] <wikibugs>	 10GitLab (Account Approval), 10Math, 10Mathoid: Activate GitLab account for Stegmujo and add Stegmujo to mathoid developers - https://phabricator.wikimedia.org/T348463 (10thcipriani) 05Open→03Resolved a:03thcipriani Approved! @Stegmujo you should be able to login and use GitLab as a normal user now. Re...
[15:59:31] <wikibugs>	 10GitLab (Auth & Access), 10CAS-SSO, 10Infrastructure-Foundations, 10Release-Engineering-Team, and 2 others: Add GitLab to offboarding workflow - https://phabricator.wikimedia.org/T339843 (10LSobanski) LDAP sync is now implemented but some manual permissions remain in place so this is still a valid request.