Started by user Peter Salvatore Connecting to https://api.github.com using docker-jenkins/****** (docker-jenkins GitHub credentials) ERROR: Pull request 1767 : Not mergeable at 38b567bbdeb241eb8ae67e5068b050a84efc603e+ec9356d3a07df473f9dc3ba410a6e542d15d6619 (NOT_MERGEABLE) Finished: FAILURE