Re: [python-committers] Merging a PR with failed CI

2017-10-22 Thread Alex Gaynor
On other projects I work on, my usual practice is to restart the Travis job and wait for it to pass. Alex On Sun, Oct 22, 2017 at 1:48 PM, Antoine Pitrou wrote: > > Hello, > > What is the recommended way of merging a PR when Travis-CI failed for > unrelated reasons? (apparently an external NNTP

[python-committers] Merging a PR with failed CI

2017-10-22 Thread Antoine Pitrou
Hello, What is the recommended way of merging a PR when Travis-CI failed for unrelated reasons? (apparently an external NNTP server is having hiccups) See https://github.com/python/cpython/pull/4065 Regards Antoine. ___ python-committers mailing list