Branch indexing Connecting to https://api.github.com using docker-jenkins/****** (docker-jenkins GitHub credentials) ERROR: Pull request 936 : Not mergeable at f44abd4554b386f7a8de6dcd012c15b90f6a6051+2731c71c993a4d1e43101eea56e7c343315024f1 (NOT_MERGEABLE) Finished: FAILURE