Pull request #3254 updated
<span class='greyed'><small>12:13:12</small> Connecting to <a href='https://api.github.com'>https://api.github.com</a> using GitHub Access Token
</span>ERROR: Pull request 3254 : Not mergeable at df1cb1f76b279877deddeb0e5487babd639f1ff1+055316005d67fbc9391fb755a73482fa273add03 (NOT_MERGEABLE)
Finished: FAILURE