Branch indexing Connecting to https://api.github.com using docker-jenkins/****** (docker-jenkins GitHub credentials) ERROR: Pull request 1487 : Not mergeable at 0b9f3dd08916011ff0c2b34dc7afb908d316da39+6b71e84ec8bff1b8aa77353817407584cdb7d6de (NOT_MERGEABLE) Finished: FAILURE