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