(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.)
I was bored, so I made you a Python script this time :)
It's attached, it takes a year and month as its arguments, and fetches
all the repos at github/wikimedia, then fetches their pull requests, and
then finally checks to see which pull requests match the month you
specified. Something like
$ ./githubunique 2012 06 # should give "3 unique contributors"
And yes, most months only have very few contributors, but anything we
can do to increase the count :)
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 ;).
This should be as simple as removing the "project:^mediawiki.*" bit from
the previous bash script. I'm not sure if there are other bots to
exclude in that case, though, so I'll leave it up to someone more versed
with the rest of Gerrit (Ryan?)
If there are other github repositories *not* in the wikimedia github
account, it shouldn't be hard to add those to the consideration in this
script.
P.S., a word to the wise: don't try to parse github's API requests with
bash, it's just not worth it.
P.P.S., for those who like unified counts, adding this python script to
the end of the previous bash script should be easy enough, so you could
get all of the contributors (95!) in one command if you wanted.
--
Mark Holmquist
Contractor, Wikimedia Foundation
mtraceur(a)member.fsf.org
http://marktraceur.info