Pull request #2535 updated
Connecting to https://api.github.com using GitHub Access Token
ERROR: Pull request 2535 : Not mergeable at c5f109701cd8fdd865e0faad09a45dfc8cab2a36+27884f1055ff21929921953e2388d8955dc2fa0c (NOT_MERGEABLE)
Finished: FAILURE