Pull request #3164 updated
Connecting to https://api.github.com using GitHub Access Token
ERROR: Pull request 3164 : Not mergeable at 8fe192c021b30f2b4c8d0d5547858c616c066f91+540cfbefd8102e1cf47cebd4baed8573f70f1dcf (NOT_MERGEABLE)
Finished: FAILURE