Pull request #3720 opened
<span class='greyed'><small>19:51:18</small> Connecting to <a href='https://api.github.com'>https://api.github.com</a> using docker-jenkins/****** (docker-jenkins GitHub credentials)
</span>ERROR: Pull request 3720 : Not mergeable at c1ea761867553cea4e70d09e30bbba44ca1fc2ed+c2ae869f6fc46733561f30c1907340dbfdcdf2e8 (NOT_MERGEABLE)
Finished: FAILURE