![[Jenkins]](/public/static/259a862a/images/svgs/logo.svg){kind=logo}
Branch indexing 00:51:18 Connecting to https://api.github.com using docker-jenkins/****** (docker-jenkins GitHub credentials) 00:51:18 GitHub API Usage: Current quota has 4079 remaining (239 under budget). Next quota of 5000 in 57 min 00:51:18 GitHub API Usage: Current quota has 4078 remaining (238 under budget). Next quota of 5000 in 57 min 00:51:19 GitHub API Usage: Current quota has 4075 remaining (235 under budget). Next quota of 5000 in 57 min ERROR: Pull request 1077 : Not mergeable at db9f7f31c99f3ba84d77c224cc38f9ebe9bab8dd+fd6165399dc5f28dfbf929282b313c3e2232387c (NOT_MERGEABLE) Finished: FAILURE