Zulip Chat Archive

Stream: new members

Topic: emails for co authored by


Yakov Pechersky (Sep 10 2020 at 16:44):

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

Bryan Gin-ge Chen (Sep 10 2020 at 16:47):

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 (Sep 10 2020 at 17:06):

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


Last updated: Dec 20 2023 at 11:08 UTC