Pull request #3045 updated
<span class='greyed'><small>22:30:04</small> Connecting to <a href='https://api.github.com'>https://api.github.com</a> using GitHub Access Token
</span>ERROR: Pull request 3045 : Not mergeable at a61ab15821979ccc0b922b3e48d21af7e2be4430+7ad198650e8ac01f6e50c700ba3e30e79eb335b4 (NOT_MERGEABLE)
Finished: FAILURE