Pull request #3050 updated
Connecting to https://api.github.com using docker-jenkins/****** (docker-jenkins GitHub credentials)
ERROR: Pull request 3050 : Not mergeable at a55908dd395b0f47227991dbdb36d96c7ebfe03e+daf5f126ad698f34548c21f672450afa5754b7a2 (NOT_MERGEABLE)
Finished: FAILURE