Pull request #4275 updated
<span class='greyed'><small>13:03:27</small> Connecting to <a href='https://api.github.com'>https://api.github.com</a> using GitHub Access Token
</span>ERROR: Pull request 4275 : Not mergeable at 06c8ba08d19817056d14b5a288ab647cb9652d98+fbfd942cbce4256c45fa040000f3274566394203 (NOT_MERGEABLE)
Finished: FAILURE