[Python-Dev] hg.python.org migrated