On Jun 15, 2016, at 6:55 PM, M.-A. Lemburg email@example.com wrote:
On 16.06.2016 00:48, M.-A. Lemburg wrote:
On 16.06.2016 00:42, Brett Cannon wrote:
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 .
Thanks for putting so much hard work into this !
BTW: Is it ok to push directly into the PEP repo or should we (as PEP authors) always go through PRs which we then merge into the repo ?
Currently there’s nothing preventing people from pushing directly to the PEP repository, in https://github.com/python/peps/issues/5 there’s talk of setting up Travis to ensure the PEPs are always building and if the flag is set to require a +1 from Travis, then all changes will need to go through PRs.
— Donald Stufft