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