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