[python-committers] Re: What is CodeCov on pull request? Does anyone use it?

FYI we have codecov configured to turn off the comment (and have since I think we started using codecov). See the issue for more details about a potential bug on codecov's side.