Pull request #4348 event 14:02:20 Connecting to https://api.github.com using GitHub Access Token ERROR: Pull request 4348 : Not mergeable at 8880e8b6c7cf28ecd51543e74d6fce148c20554f+ace6673ceed651fc3b73f821af193989060eb64d (NOT_MERGEABLE) Finished: FAILURE