Pull request #2507 updated
<span class='greyed'><small>09:00:43</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 2507 : Not mergeable at 1d1532f0be8fdf69443cfc71f1fb9002e9af4ae4+a9867c99126626aa97d94d31f0c2eca3bead4e8f (NOT_MERGEABLE)
Finished: FAILURE