[Zope-dev] Hello

Hello everybody, i got commit access to the zope repository last night... would it be possible to change my username from "franco.pellegrini" to "frapell" ? I already changed it from https://svn.zope.org/manage-profile/index.html, is there something else i could do ? or someone needs to change some configuration manually ? thank you very much in advance. Regards, Franco