[python-committers] Merging a PR with failed CI

[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 <antoine at 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 at 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.python.org/pipermail/python-committers/attachments/20171022/2dec4d20/attachment.html>