(Also, this isn't counting people who contribute
to the mobile projects
on GitHub, and really the final monthly report stat ought to. I don't
quickly see a way to ask "how many unique contributors submitted unique
pull requests to a
https://github.com/wikimedia/ repo in June?" on
GitHub, though, so I'll put that off till next month.)
It also doesn't count people who are making operations changes, or
Wikimedia site configuration changes, or are packaging debs, etc, etc.
It would be awesome to see stats for those as well. I have a feeling
that we have more contributors then the record ;).
- Ryan