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 <anto...@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/ > -- "I disapprove of what you say, but I will defend to the death your right to say it." -- Evelyn Beatrice Hall (summarizing Voltaire) "The people's good is the highest law." -- Cicero GPG Key fingerprint: D1B3 ADC0 E023 8CA6
_______________________________________________ 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/
