Pull request #3196 updated
<span class='greyed'><small>14:44:54</small> Connecting to <a href='https://api.github.com'>https://api.github.com</a> using GitHub Access Token
</span>ERROR: Pull request 3196 : Not mergeable at cd36fb78f017f0058f9c99a7df0c2b5eb65c596f+165f17fdc065ac620ca7c656932140e1585c97ba (NOT_MERGEABLE)
Finished: FAILURE