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