Re: [tor-project] [ticket system] registrations of users & next trac/gitlab meeting

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.