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