Pull request #38276 event Connecting to https://api.github.com using docker-jenkins/****** (docker-jenkins GitHub credentials) ERROR: Pull request 38276 : Not mergeable at fe7ebcee67c5e2151381aedb88bf60418d74802c+0b7cb16dde4a20d024c7be59801d63bcfd18611b (NOT_MERGEABLE) Finished: FAILURE