From his post:
> In the past 7 years I've:
> * Made 3546 commits over 2443 PRs to rust-lang/rust.
> I've added 700k lines of code and deleted 747k (yay negative!).
> * Made 1374 commits over 1010 PRs to rust-lang/cargo.
> I've added 188k lines of code and deleted 119k (boo positive).
> * Been in the top 10 list of contributors for every single Rust release since 0.7.0, excluding today's 1.41.0. According to thanks.rust-lang.org 127 I'm the top contributor in terms of commits (well, human contributor)
> * Published 243 crates to crates.io 41
> * Made 41k comments/prs/commits/etc ("contributions" according to GitHub's metrics)