Branch indexing
01:53:30 Connecting to https://api.github.com using GitHub Access Token
ERROR: Pull request 7828 : Not mergeable at d2c4b37c432b4e04ff8bda61b00335cc00955ea1+da82258737aca940d8b09b7c531024b9cddc7b0f (NOT_MERGEABLE)
Finished: FAILURE
Branch indexing
01:53:30 Connecting to https://api.github.com using GitHub Access Token
ERROR: Pull request 7828 : Not mergeable at d2c4b37c432b4e04ff8bda61b00335cc00955ea1+da82258737aca940d8b09b7c531024b9cddc7b0f (NOT_MERGEABLE)
Finished: FAILURE