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