tree cda2ab2f7d21ac55523328080325344c6a5f0861
parent 207768b43b094c4dfbb3449ca68f01a49fa26bc3
author Luca Milanesio <luca.milanesio@gmail.com> 1553898256 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> 1560260743 +0100

Update all the User account profile from GitHub

Get the username also from GitHub and import into Gerrit account
profile. Previously it was relying on the correct import of the username
from the registration phase. However, accounts can be created also as
"placeholder" to allow Gerrit to have a valid reference of the PR
owner imported.

Change-Id: I16995a0c22f998737de2dc65a05d810f8aeedc6f