Pull request #897 opened 17:26:36 Connecting to https://api.github.com using docker-jenkins/****** (docker-jenkins GitHub credentials) ERROR: Pull request 897 : Not mergeable at f7513b3d3be53ca4ebe3327eee8eb51493bc5645+1bfeaa2f2639bfc050cf26e1b26af2fcf31de910 (NOT_MERGEABLE) Finished: FAILURE