16 Oct
2019
16 Oct
'19
2:36 p.m.
On 2019-10-16 14:22:36, Tom Ritter wrote:
This is a self-serving question, but will it possible/easier to rename user accounts in gitlab? Or could we perform a rename during the migration?
It seems you should be able to change your username in GitLab, according to this documentation: https://docs.gitlab.com/ce/user/profile/#changing-your-username But I could not find this option in the profile settings, so it's unclear if it will be possible in *our* instance. A. -- Antoine Beaupré torproject.org system administration