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