tree a084ca383639f2a3cd85edda4922437c9576435c
parent d332678802eb02f923304872283b3bc7e446293f
author Luca Milanesio <luca.milanesio@gmail.com> 1375725397 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1381498695 +0100

[GERRITHUB-5] Adding key label during GitHub import.

Import all the keys that are present in GitHub and
not present in Gerrit, including the label assigned
in GitHub.

Avoid SSH keys duplication by checking their existence
in current Gerrit user profile.

Change-Id: I1e9ed6ea4d6e50d496041476e8c3ada6a756e391