![[Jenkins]](/public/static/259a862a/images/svgs/logo.svg){kind=logo}
Branch indexing 00:52:33 Connecting to https://api.github.com using docker-jenkins/****** (docker-jenkins GitHub credentials) 00:52:33 GitHub API Usage: Current quota has 4009 remaining (247 under budget). Next quota of 5000 in 56 min 00:52:33 GitHub API Usage: Current quota has 4009 remaining (247 under budget). Next quota of 5000 in 56 min 00:52:33 GitHub API Usage: Current quota has 4008 remaining (246 under budget). Next quota of 5000 in 56 min ERROR: Pull request 137 : Not mergeable at b860f8354c60c433fa45733492a0d2d72be5a2dd+1b8b63be5c4937185c320e661f1fabbe52058d89 (NOT_MERGEABLE) Finished: FAILURE