Migration to Git/Github

Agreed. BTW, I see this ended up in the discussion for an outdated diff. If you think it's useful to have the above comments in the main 'conversation' page, I'm happy to move it there, in case it helps your conversation when the PEP is up for review. Just let me know.