Pull request #3037 updated
Connecting to https://api.github.com using GitHub Access Token
ERROR: Pull request 3037 : Not mergeable at 1f5ef8927aa432df90a6b96a51e0da5649cb657f+243424948a5976808166c3806a3f9cf4587a54c5 (NOT_MERGEABLE)
Finished: FAILURE