Pull request #2535 updated
<span class='greyed'><small>13:44:54</small> Connecting to <a href='https://api.github.com'>https://api.github.com</a> using GitHub Access Token
</span>ERROR: Pull request 2535 : Not mergeable at 3c5ae5a2634ff02d57182f8e2b48bcd217a77ce8+27884f1055ff21929921953e2388d8955dc2fa0c (NOT_MERGEABLE)
Finished: FAILURE