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