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