tree c1e7d358ba1d8f35d4129fb228b1dd8fa2dcbc12
parent d2661b61714774d2d47c9dbc48c8d67e380b67c0
author Luca Milanesio <luca.milanesio@gmail.com> 1387758309 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> 1392154537 +0000

Use new Gerrit 2.9-SNAPSHOT patch-set inserter

The new Gerrit master patch-set inserter relies
on the ChangeControl to get the current user for 
being used as patch-set submitter.

This is typically correct but in case of GitHub
the patch is created "on behalf" of the pull request
on GitHub: we need to then simulate this delegation
of responsibilities as we want Gerrit to notify the
original Pull Request user and NOT the "robot" used
for creating the patches in Gerrit.

Change-Id: Ibbafeb680e007d635944dba48924fbb840dbfb4a