tree bb93dd5b1a3470b4a42e3425002744d9fcef2825
parent 96ea8a0d5e788d94b8e5d1d77a1c72f1399db194
author Luca Milanesio <luca.milanesio@gmail.com> 1405676368 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1406034931 +0000

Link OAuth token to Gerrit external id

Enrich the HTTP login request to Gerrit in order
to store the GitHub OAuth token as additional
external id into the Gerrit user’s account.

OAuth token can be used by Gerrit to propagate
the user’s identity to the GitHub API calls.

NOTE: In order to get the extra HTTP header
managed and stored into Gerrit external ids table
you need to make sure to have I8df2540a56 merged.

Change-Id: Ifcd62218a171e3420bca10c95af43c7afe9cb2bb