Re: [python-committers] The peps repo is now on GitHub!

2016-06-16 Thread Donald Stufft
> On Jun 16, 2016, at 1:38 AM, Barry Warsaw wrote: > > On Jun 15, 2016, at 06:59 PM, Donald Stufft wrote: > >> 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 th

Re: [python-committers] The peps repo is now on GitHub!

2016-06-16 Thread Robert Collins
Folk can't argue with robots: I think its useful to have an escape valve for dealing with spurious failures - the Python Core team is pretty responsible, and I think we should permit bypassing robots, at least until we have lots of run-time to learn about any flakiness present. -Rob On 16 June 20