[03:15:34] <NaomiAmethyst>	 How can I change my Developer Account name?
[03:24:43] <NaomiAmethyst>	 My current account (Cobi) uses my old wiki username/deadname and I'd like to change it to Naomi or NaomiAmethyst (with a shell user `naomi` or similar)
[12:08:10] <dhinus>	 NaomiAmethyst: unfortunately renaming developer accounts is not currently supported, because it leads to various problems, see https://wikitech.wikimedia.org/wiki/SRE/LDAP/Renaming_users
[14:26:23] <wm-bot>	 !log lucaswerkmeister@tools-bastion-13 tools.stashbot bin/stashbot.sh restart
[14:26:26] <stashbot>	 Logged the message at https://wikitech.wikimedia.org/wiki/Nova_Resource:Tools.stashbot/SAL
[14:57:22] <bd808>	 NaomiAmethyst: generally our advice in your situation is for you to create a new Developer account, get it the credentials needed to fill the role of the legacy account, and abandon the legacy account. MediaWiki is awesome at supporting account renaming; pretty much everything else in our environment is really bad at it.
[20:35:43] <wm-bot>	 !log lucaswerkmeister@tools-bastion-13 tools.lexeme-forms deployed d6def84813 (l10n updates: lb)
[20:35:46] <stashbot>	 Logged the message at https://wikitech.wikimedia.org/wiki/Nova_Resource:Tools.lexeme-forms/SAL