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