Branch indexing 01:51:39 Connecting to https://api.github.com using GitHub Access Token ERROR: Pull request 12530 : Not mergeable at 1f5dd568d1cf15d13a9f1652764f7555bf16d7e1+f2815de633617c4829db6224b545124a2146554a (NOT_MERGEABLE) Finished: FAILURE