Branch indexing
01:53:43 Connecting to https://api.github.com using GitHub Access Token
ERROR: Pull request 10718 : Not mergeable at 85620cb0054632f889213ecd32ce039cdf71118c+1a188e91354e4116304c4bd8e7cd128023492aab (NOT_MERGEABLE)
Finished: FAILURE
Branch indexing
01:53:43 Connecting to https://api.github.com using GitHub Access Token
ERROR: Pull request 10718 : Not mergeable at 85620cb0054632f889213ecd32ce039cdf71118c+1a188e91354e4116304c4bd8e7cd128023492aab (NOT_MERGEABLE)
Finished: FAILURE