Console Output

Pull request #2293 updated
03:50:07 Connecting to https://api.github.com using docker-jenkins/****** (docker-jenkins GitHub credentials)
ERROR: Pull request 2293 : Not mergeable at 709cf07122c91e111c53edd4457e48fd87777fb1+809cc8948d2a011ab980cde2366cdfc13fe923d3 (NOT_MERGEABLE)
Finished: FAILURE