On 01/22/12 15:49, Mark Linimon wrote: > As I type this, there are 1122 ports PRs (6272 total PRs). On most > days, around 40 come in. How do you get that number? I ran a search on pr's and only came up with around ~4k. Is there a trick I'm missing?