On Jun 24, 2017, at 11:05 AM, Antoine Pitrou <antoine@python.org> wrote:
Hello,
This is a bit of a futile question, but I realize I'm nowhere to be seen
in https://github.com/python/cpython/graphs/contributors
Is there some map file somewhere that I must update to match my commit
e-mail to my GitHub account?