A tip for finding out the email of a Github user: choose any of their commits, open it on Github and add ".patch" at the end of the URL, like this [1]. There's

A tip for finding out the email of a Github user: choose any of their commits, open it on Github and add ".patch" at the end of the URL, like this [1]. There's a good chance they use a real email to sign their commits. [1] https://github.com/SimulaVR/Simula/commit/19cf46894cae1962e9036052acc9c1237f4e871b.patch https://github.com/SimulaVR/Simula/commit/19cf46894cae1962e9...