Now that I'm comfortable declaring the code for the CLA bot finished (https://github.com/python/the-knights-who-say-ni), the next step is to finalize the command(s) we are going to use to convert hg repositories to git for migration to GitHub. Senthil, are you ready to make a final decision?

Once I have the conversion command(s) documented in PEP 512 and I have created the "Python core" team on GitHub for all of the current Python core developers, I will migrate https://hg.python.org/devinabox to make sure that everything works. After that has been verified as working I will then look at migrating https://hg.python.org/devguide/ and https://hg.python.org/peps/ (will take a little bit more effort for both to get the web builds updated, and peps requires getting the PEP editors on-board). The benchmarks repo might actually not get migrated as there is talk of starting that repo from scratch.

It's looking like we will stay on track to get at least one repository migrated by PyCon US!