Pull request #15800 closed
20:55:53 Connecting to https://api.github.com using pharo-ci using token as pass
ERROR: Pull request 15800 : Not mergeable at 605bd1960ec1f04fb9733b8bbebfc39238fc32bf+c0bef0b4ccb16bd20d9060286d89a686ae3890d5 (NOT_MERGEABLE)
Finished: FAILURE