tree 56fed8a49d19f28282697ccf4ea498d95d8c3b8c
parent 55247f418607c244309ce8463361366287debfcd
author Luca Milanesio <luca.milanesio@gmail.com> 1381498063 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1381500883 +0000

Add GitHub wizard to Gerrit Top-Menu.

Allows a user to come back to the GitHub import
wizard steps (Profile, Repositories, Pull Requests)
using the Gerrit Top-Menu under the Entry "GitHub".

GitHub wizard can be run multiple times and always
works in differential way, there is no harm then
in allowing the user to come back for updating its
keys or importing extra repositories or pull requests.

Change-Id: I0e39b18922e181b574d3c153b495117d7fb2ed34