Pull request #3258 updated
Connecting to https://api.github.com using GitHub Access Token
ERROR: Pull request 3258 : Not mergeable at 67bb2586a745e509f67414e3c67e65033af096dd+7434bcf43a74fcf2e0cd0c965522424ed0463ab5 (NOT_MERGEABLE)
Finished: FAILURE