Pull request #6835 event
11:34:25 Connecting to https://api.github.com using 476720/******
ERROR: Pull request 6835 : Not mergeable at ea10a4b24550cd77f6635d74d1e4712133ac8595+cc21a5482ba759545fd8aa4c1c630c9252989523 (NOT_MERGEABLE)
Finished: FAILURE