Pull request #3825 updated
Connecting to https://api.github.com using GitHub Access Token
ERROR: Pull request 3825 : Not mergeable at a0002e1f645324ecbff2e09080b15a359aa64ee3+bd4c750d4bd51d4ed9c0fdb12e084add47b478e3 (NOT_MERGEABLE)
Finished: FAILURE