Branch indexing
Connecting to https://api.github.com using docker-jenkins/****** (docker-jenkins GitHub credentials)
GitHub API Usage: Current quota has 4062 remaining (224 under budget). Next quota of 5000 in 57 min
GitHub API Usage: Current quota has 4062 remaining (224 under budget). Next quota of 5000 in 57 min
GitHub API Usage: Current quota has 4059 remaining (222 under budget). Next quota of 5000 in 57 min
ERROR: Pull request 1000 : Not mergeable at a8f3e0968c547e9a7524ecd7c9fe684255878b56+3d0fc8d3093c9d7ae1c9ac94620d13ce909e8ea3 (NOT_MERGEABLE)
Finished: FAILURE