Pull request #405 event Connecting to https://api.github.com using docker-jenkins/****** (docker-jenkins GitHub credentials) ERROR: Pull request 405 : Not mergeable at 1b19cc613fc637c3a403ecd9c0a6d91cf7ddff9d+2725cc366491ff5d7702b603ac779f4bf6ff8604 (NOT_MERGEABLE) Finished: FAILURE