![[Jenkins]](/jenkins/static/7b8bca15/images/svgs/logo.svg){kind=logo}
Pull request #2535 updated
09:11:37 Connecting to https://api.github.com using GitHub Access Token
ERROR: Pull request 2535 : Not mergeable at c5f109701cd8fdd865e0faad09a45dfc8cab2a36+27884f1055ff21929921953e2388d8955dc2fa0c (NOT_MERGEABLE)
Finished: FAILURE