Pull request #2957 updated
<span class='greyed'><small>23:10:06</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 c6f4807a15cc645488c701b2f007fd887741d0e5+b3e4138a2d039a2faa266409c254c5c7a0209f4c (NOT_MERGEABLE)
Finished: FAILURE