Re: [core-workflow] Help needed: adding GitHub usernames to bugs.python.org