emails for co authored by

Stream: new members

[Yakov Pechersky]

When submitting a PR or commits, where is a good place to find the emails of the coauthors to include?

[Bryan Gin-ge Chen]

If they've committed to mathlib before, you can try git log --author="<some part of their name or username>" in a local clone of mathlib.

[Johan Commelin]

It would be great if bors would accept github usernames... but I have no time to write that feature for them