Pull request #2857 updated
Connecting to https://api.github.com using docker-jenkins/****** (docker-jenkins GitHub credentials)
ERROR: Pull request 2857 : Not mergeable at 2cb6e493d4f640d086199fa085326c03fe521dd0+1abeb46dfa1dbe89e384652ef81e57def0b2e285 (NOT_MERGEABLE)
Finished: FAILURE