Branch indexing
Connecting to https://api.github.com using docker-jenkins/****** (docker-jenkins GitHub credentials)
ERROR: Pull request 712 : Not mergeable at 85d17c5e0a7b6512a894bad7d82d0b6ae31bed3d+d921d5cc395a5f70de539ce8c020509f5ae63750 (NOT_MERGEABLE)
Finished: FAILURE