I just tested this and it works!

While we're at it we should add:

httpDisplayNameHeader = GITHUB_NAME
httpEmailHeader = GITHUB_EMAIL

it sounds like those will pre-populate your name and email in your gerrit user when it gets created from the github account.