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

[Antoine Beaupré]

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