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.
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 antoine@python.org wrote:
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 python-committers@python.org https://mail.python.org/mailman/listinfo/python-committers Code of Conduct: https://www.python.org/psf/codeofconduct/