
June 16, 2016
5:28 a.m.
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