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