Branch indexing Connecting to https://api.github.com using docker-jenkins/****** (docker-jenkins GitHub credentials) ERROR: Pull request 932 : Not mergeable at 5817d3e77de4a57d1775b4dfa0f280131858b790+575305fdba6c57f06d605920e01b5e1d6b952d3e (NOT_MERGEABLE) Finished: FAILURE