Re: [core-workflow] PEP 512: migrating hg.python.org to GitHub