[python-committers] Merging a PR with failed CI