Pull request #3164 updated
<span class='greyed'><small>16:00:42</small> Connecting to <a href='https://api.github.com'>https://api.github.com</a> using GitHub Access Token
</span>ERROR: Pull request 3164 : Not mergeable at 12af404b69080b106871cbd21f131b7e45952718+540cfbefd8102e1cf47cebd4baed8573f70f1dcf (NOT_MERGEABLE)
Finished: FAILURE