![[Jenkins]](/public/static/259a862a/images/svgs/logo.svg){kind=logo}
Branch indexing 00:52:32 Connecting to https://api.github.com using docker-jenkins/****** (docker-jenkins GitHub credentials) 00:52:32 GitHub API Usage: Current quota has 4012 remaining (249 under budget). Next quota of 5000 in 56 min 00:52:33 GitHub API Usage: Current quota has 4011 remaining (248 under budget). Next quota of 5000 in 56 min ERROR: Pull request 420 : Not mergeable at 5098babd9f2daf72a47bd2e54d278fa8580d727b+819df0ebf600560698cd127a961f3d7753f59278 (NOT_MERGEABLE) Finished: FAILURE