another numerical milestone: we're over 10k pants PRs