Console Output

Pull request #2507 updated
09:00:43 Connecting to https://api.github.com using docker-jenkins/****** (docker-jenkins GitHub credentials)
ERROR: Pull request 2507 : Not mergeable at 1d1532f0be8fdf69443cfc71f1fb9002e9af4ae4+a9867c99126626aa97d94d31f0c2eca3bead4e8f (NOT_MERGEABLE)
Finished: FAILURE