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.
wikitech-l@lists.wikimedia.org