Pull request #3254 updated
Connecting to https://api.github.com using GitHub Access Token
ERROR: Pull request 3254 : Not mergeable at 63f9608cf580575818f6fdad43f4f3cea2034371+055316005d67fbc9391fb755a73482fa273add03 (NOT_MERGEABLE)
Finished: FAILURE