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

Antoine Beaupré anarcat at torproject.org
Wed Oct 16 14:36:09 UTC 2019

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:


But I could not find this option in the profile settings, so it's
unclear if it will be possible in *our* instance.


Antoine Beaupré
torproject.org system administration

More information about the tor-project mailing list