Re: [core-workflow] The peps repo has been migrated!

On Wed, 15 Jun 2016 22:56:35 +0000 Brett Cannon <brett@python.org> wrote:

Python's PEPs now officially live at https://github.com/python/peps .

Thanks to Donald Stufft for the infrastructure stuff, Kushal Das for pushing me at the PyCon US sprints to get this going, Senthil Kumaran for the migration tool, and everyone else who has helped somehow in making this happen.

I'll be updating PEP 512 -- on GitHub! -- to reflect this. That will make the devguide the next repo to migrate.

I might have missed something, but is there a test repo to test e.g. push permissions? I don't want to add a dummy changeset to the peps repo... Regards Antoine.