Hey,
Today I was checking mediawiki/core in github:
https://github.com/wikimedia/mediawiki
And number of contributors is now 400. It might be a little more if we
count SVN era.
To me, it's an important milestone. More important than number of commits
or releases. It's about people not numbers or lines of code.
Best