Pull request #3863 updated
09:22:13 Connecting to https://api.github.com using GitHub Access Token
ERROR: Pull request 3863 : Not mergeable at 274f536c557343d542723c45bf46f0c0d5084491+4fbcd803cd49b3776ac939d4eadba7ea300b0ed5 (NOT_MERGEABLE)
Finished: FAILURE