tree 18c137aaf1a14144a9eaf3e31d67faab1aecda21
parent d5c46b39557b449760be14832da0f350248ad2de
author Luca Milanesio <luca.milanesio@gmail.com> 1381412705 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1381500762 +0000

Use commit author when pull request user is "ghost".

GitHub does allow the removal of a user without
removing its own pending commits in pull requests.
Example: https://github.com/jenkinsci/appaloosa-plugin/pull/3

When importing those commits into Gerrit, the only
valid clue on who was the owner of the pull request is
actually the associated Git commits author.

Change-Id: I7543a5c3f116db5fce0479209be63ccc80e331de