Started by user guillermo.polito@inria.fr Rebuilds build #3 09:31:53 Connecting to https://api.github.com using pharo-ci/****** (pharo-ci using token as pass) ERROR: Pull request 162 : Not mergeable at b096f5d261ed458fdfce6b6d7e709b29207d83ac+1842c37f4289b03e21e0181de91319fb1a793f1d (NOT_MERGEABLE) Finished: FAILURE