16 Jun
2016
16 Jun
'16
1: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