Pull request #2957 updated
<span class='greyed'><small>21:51:36</small> Connecting to <a href='https://api.github.com'>https://api.github.com</a> using GitHub Access Token
</span>ERROR: Pull request 2957 : Not mergeable at a0b1ca0c61416e0c1722d767432d358b94643ec2+a7b29803bd8f24211f55bc41ee39ae75ee1259bd (NOT_MERGEABLE)
Finished: FAILURE