Pull request #2262 updated
Connecting to https://api.github.com using docker-jenkins/****** (docker-jenkins GitHub credentials)
ERROR: Pull request 2262 : Not mergeable at 67d4da0f4a01be555be9e12864f4791297d51d28+2a6caf214bc87e5684420c1116d3232021a17cf4 (NOT_MERGEABLE)
Finished: FAILURE