Console Output

Pull request #415 updated
15:39:05 Connecting to https://api.github.com using docker-jenkins/****** (docker-jenkins GitHub credentials)
ERROR: Pull request 415 : Not mergeable at 11b4ab136a89169134aec178cc445183083f0927+65bd76b09281a222c11161f6e42302b3722dc1e3 (NOT_MERGEABLE)
Finished: FAILURE