Console Output

Branch indexing
01:51:51 Connecting to https://api.github.com using GitHub Access Token
ERROR: Pull request 7637 : Not mergeable at 9e4e6bcf8337af7524c27e5d90c3eaa52fb79bf9+da82258737aca940d8b09b7c531024b9cddc7b0f (NOT_MERGEABLE)
Finished: FAILURE