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