Branch indexing Connecting to https://api.github.com using docker-jenkins/****** (docker-jenkins GitHub credentials) ERROR: Pull request 1357 : Not mergeable at 7c924079c64c30b22cfdc7957d75b5525cfc3ce0+8ec21567a763d5ba5e5a068061c399214c2536a2 (NOT_MERGEABLE) Finished: FAILURE