Console Output

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