If you can't merge from GitHub UI then you won't be able to do it from GitHub command line (it respects the same branch protection policy)
I don't think we should merge if tests are still failing. Perhaps the test should be adjusted to handle this spurious errors? Can it be marked as "allowed failure" or something like that?
On Wed, May 8, 2019, 8:32 AM Antoine Pitrou email@example.com wrote:
There are spurious CI failures (SSL certificate issue in test_httplib). Therefore the "Squash and merge" button is greyed out.
How should I merge? Using the command-line instructions from Github?
Antoine. _______________________________________________ python-committers mailing list firstname.lastname@example.org https://mail.python.org/mailman/listinfo/python-committers Code of Conduct: https://www.python.org/psf/codeofconduct/