Pull request #42425 event 08:47:43 Connecting to https://api.github.com using docker-jenkins GitHub credentials ERROR: Pull request 42425 : Not mergeable at 02ec3c8869852d7a2cead1da547a5df4ed7653f2+6c10086976d07d4746e03dcfd188972a2f07e1c9 (NOT_MERGEABLE) Finished: FAILURE Deleted 0 stash(es) from https://docker-ci-jenkins-artifacts.s3.amazonaws.com/public/moby/PR-42425/7/stashes/