On Jun 15, 2016, at 10:42 PM, Brett Cannon wrote: >I don't think anything has fallen over, so I'm calling this a successful >migration! The peps repo is now https://github.com/python/peps . Really great work Brett, thanks! -Barry