[python-committers] The peps repo is now on GitHub!

[Brett Cannon]

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 .

I have given the Python core team on GitHub write access to the repository
so people can add/update their own PEPs. There is also an issue tracker
there, seeded with some enhancements we could make to have the PEPs be
nicer to work with.

I should also mention that the CLA bot is turned on for this repo as per
our lawyer's advice, so people will need to have signed the CLA and have
their GitHub username associated with their bugs.python.org account to have
their pull request cleared for acceptance.

And can someone delete hg.python.org/peps?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.python.org/pipermail/python-committers/attachments/20160615/ecf38747/attachment.html>