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

2016-06-16 Thread Antoine Pitrou
On Wed, 15 Jun 2016 22:56:35 + Brett Cannon 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,

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

2016-06-16 Thread Ian Lee
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 # v

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

2016-06-16 Thread Brett Cannon
On Thu, 16 Jun 2016 at 02:16 Antoine Pitrou wrote: > On Wed, 15 Jun 2016 22:56:35 + > Brett Cannon 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 spri