[python-committers] Re: GitHub mystery: "Check for source changes (pull_request)" failed