Branch indexing Connecting to https://api.github.com using docker-jenkins/****** (docker-jenkins GitHub credentials) ERROR: Pull request 771 : Not mergeable at 9b139cbdcdb71c40ca2a5f928a87b9c2ce545fee+c26f37c0cce47c2e2c2d8e5f0df261c95c930479 (NOT_MERGEABLE) Finished: FAILURE