On 19 Sep 2017 5:40 pm, "C. Scott Ananian" cananian@wikimedia.org wrote:

I'm suggesting to proceed cautiously and have a proper discussion of all the factors involved instead of over-simplifying this to "community" vs "facebook".

For example, the top-line github stats are: hhvm: 504 contributors (24,192 commits) php-src: 496 contributors (104,566 commits)

HHVM seems to have a larger community of contributors despite a much shorter active life.

By a difference of 8 contributors?

But note that the PHP github mirror has been broken since Jul 29 (!).

I'm not convinced an exclamation mark in brackets is required here.