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

On Thu, 16 Jun 2016 at 02:16 Antoine Pitrou 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

On Wed, 15 Jun 2016 22:56:35 +0000 Brett Cannon wrote: 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...

There's no need: if you can see https://github.com/orgs/python/teams/python-core then you have permissions (and for you personally, Antoine, I know you do since you're a team maintainer :) .