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