Branch indexing Connecting to https://api.github.com using docker-jenkins/****** (docker-jenkins GitHub credentials) ERROR: Pull request 1440 : Not mergeable at 219bcc73c17786dc0e1af28e9f6bcd1e0e082d2d+19c0311d46b698593535fb1dac7751460a58fa82 (NOT_MERGEABLE) Finished: FAILURE