Hi all, As PRs are starting to stack, I think it would be good to gradually merge them. For that, I think it would be good to have both the automatic and a human review.
When you issue a PR to the development branch, you see two validations are launched: - basic validation - full validation So far, they are in red because there are some failing tests (that we should fix BTW). By now we can consider that a PR that runs and has some failing tests is OK. Actually, being able to run the tests means also the bootstrap had no problems. I'm tagging such PRs with *human-review-needed* in github: https://github.com/pharo-project/pharo/pulls?q=is%3Apr+is%3Aopen+label%3Ahuman-review-needed If gradually people can give their +1 or -1 to the PRs marked like that, we can quickly start integrating fixes. Guille -- Guille Polito Research Engineer French National Center for Scientific Research - *http://www.cnrs.fr* <http://www.cnrs.fr> *Web:* *http://guillep.github.io* <http://guillep.github.io> *Phone: *+33 06 52 70 66 13
