tree 994f4015a1d5c1c1f610b6328b40d0a804edd910
parent 85509156274c841a2e93915406a70578235fc0ba
author Luca Milanesio <luca.milanesio@gmail.com> 1393065752 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> 1395584264 +0000

Share GitHub login on Gerrit filter and plugin.

Allows to sign-in to GitHub only once during
Gerrit login and then share the GitHub OAuth token
within the plugin screens.
Previously the two logins were completely isolated
and the user had to connect twice.

With this change is not possible anymore to have
multiple logins with different scopes: not a regression
but a simplification IMHO, as having multiple sessions
with multiple permissions have lead to confusion
on why GitHub permissions are requested twice.

Change-Id: I8aeb131704ee015d67b56670295c231dd6db1478