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.
On 15 June 2016 at 15:56, 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.
Nice! This should let us simplify some of the distutils-sig workflows, since it will eliminate the "copy to hg.python.org" step. Cheers, Nick. -- Nick Coghlan | ncoghlan@gmail.com | Brisbane, Australia
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.
Not speaking from any sort of official position, but you could do a push to a separate branch that you deleted after you verify it worked. E.g. $ git clone https://github.com/python/peps.git $ cd peps $ git checkout -b foo # edit something $ git commit -a -m"test commit" $ git push origin foo # verify it worked through github website worked $ git push --delete origin foo Cheers, Ian On Thursday, June 16, 2016, Antoine Pitrou <solipsis@pitrou.net> 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 <brett@python.org <javascript:;>> 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...
Regards
Antoine.
_______________________________________________ core-workflow mailing list core-workflow@python.org <javascript:;> https://mail.python.org/mailman/listinfo/core-workflow This list is governed by the PSF Code of Conduct: https://www.python.org/psf/codeofconduct
-- ~ Ian Lee | IanLee1521@gmail.com
On Thu, 16 Jun 2016 at 02:16 Antoine Pitrou <solipsis@pitrou.net> 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 <brett@python.org> 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 :) .
participants (4)
-
Antoine Pitrou -
Brett Cannon -
Ian Lee -
Nick Coghlan