scripts: repo: Get gerrit username from github API

Change-Id: I5c126008edecd8005e485c450d5bed19d5033bce
1 file changed
tree: 22a027e1b398ed5afb91061afa77d4f0237f2085
  1. aosp-merger/
  2. repo/