Pull request #3224 updated
<span class='greyed'><small>14:17:52</small> Connecting to <a href='https://api.github.com'>https://api.github.com</a> using GitHub Access Token
</span>ERROR: Pull request 3224 : Not mergeable at 7e291bb4318b3457d273cbbdfb68decaf1118139+b6c15e61f305ea8b7c02b077fd6b06979dccc36d (NOT_MERGEABLE)
Finished: FAILURE