We've hit 1000 PRs!

[Dan Halperin]

Hey folks!

Just wanted to send out a note -- we've hit 1000 PRs in GitHub as of
Saturday! That's a tremendous amount of work for the 7 months since PR#1.

I bet we hit 2000 in much fewer than 7 months ;)

Dan