Console Output

Branch indexing
15:05:13 Connecting to https://api.github.com using pharo-ci/****** (pharo-ci using token as pass)
ERROR: Pull request 7141 : Not mergeable at f66cc2fc88c30257eda44fe14ae4aab892a47739+6fe564290680682c8c7c94bcab2750f944b61382 (NOT_MERGEABLE)
Finished: FAILURE