Yeah, `git log --format=%ae | sed s/.*@//` will get you most of the way there, and then it’s down to how you want to deal with the domains themselves, as you say!