Pull request #4384 opened
<span class='greyed'><small>14:01:27</small> Connecting to <a href='https://api.github.com'>https://api.github.com</a> using GitHub Access Token
</span>ERROR: Pull request 4384 : Not mergeable at 25099553d49ca86dc9ce5b915c672f4467d3cced+90d43f3c1c3b37449b754cc909a0878b45e423ec (NOT_MERGEABLE)
Finished: FAILURE