19:18:51 https://api.github.com using coreosbot/****** (GitHub coreosbot token) Connecting to ERROR: Pull request 478 : Not mergeable at cad938b16c6b87b660afe289bbcc735e6d52021d+9f6d65d60a50a8318173324242ccab4619942b09 (NOT_MERGEABLE) Finished: FAILUREBranch indexing