Pull request #3247 event
Connecting to https://api.github.com using GitHub Access Token
ERROR: Pull request 3247 : Not mergeable at 3032ac40ec05f313dc9feb2fc2183cc90e65ffcb+acaf775c2dc48db7d1b5eea5e8146e62abb5bdd8 (NOT_MERGEABLE)
Finished: FAILURE