GitHub-Profile integration for migrating and synchronising your GitHub e-mail address and SSH Keys with Gerrit - (mirror of https://gerrit.googlesource.com/plugins/github-profile) - View it on GitHub