re2: more Gerrit+GitHub integration

Change-Id: I8c19cb4912d8e4bc8073b6f97279b2f57a59760c
Reviewed-on: https://code-review.googlesource.com/1275
Reviewed-by: Russ Cox <rsc@swtch.com>
2 files changed