[2/3] 不知不觉中，我在 HOL4 项目所有历史贡献者里已经在提交数上超越了已故的创始人 Mike Gordon（有点儿胜之不武，毕竟他已经不能再写了），目前排名第七。距离超越第六名 Thomas Türk（他已经不活跃了）只差 7 次提交。再往前 20 次提交就可以超越 Magnus Myreen（CakeML 项目创始人之一）。其实如果看新增代码行数的话我早已遥遥领先，但现在 GitHub 不再显示按代码行数的贡献排名了。而每个 PR 分支里的提交数其实是越少越好的（最好是临时分支，里面只有一次提交），所以我的排名里每次提交往往对应一个完整 PR，含金量是很高的。