Aaron Meurer

It would be better if there were direct support for it in the GitHub API. The reason is that we need a GitHub username for the release notes.

So we can query the email. If we don't get a username from it, we can just include the name and email directly (it doesn't *have* to be a username,...