mathlib stats

Stream: general

[Kevin Buzzard]

Is there a reason why I can't see who is 8th by commits in the author list at

https://leanprover-community.github.io/mathlib_stats.html

?

[Kevin Buzzard]

Oh it's Johannes Hoelzl I guess. How come his line stops?

[Bryan Gin-ge Chen]

I guess the lines end at his last commit.

[Kevin Buzzard]

But why is he not on the list of contributors?

[Bryan Gin-ge Chen]

Which list? I see him a few times on the stats page.

[Bryan Gin-ge Chen]

We did hide leanprover-community-bot's commits, so I wonder if that has something to do with what you're seeing.

[Bryan Gin-ge Chen]

Oh, I see. The numbers in the last column skip 8. Yes, that's probably leanprover-community-bot.

[Yaël Dillies]

Same with number 5 now!

[Bolton Bailey]

It's occurred to me that more convenient than a column for "# by commits", it would be easier if there were just a numbering of rows on the left-hand side of the chart, that doesn't change when I sort by things other than commits. Unfortunately I don't know enough js to make this change.

[Bolton Bailey]

This perhaps?

[Bolton Bailey]

https://github.com/leanprover-community/leanprover-community.github.io/pull/271

[Violeta Hernández]

I gotta love how everyone in the top 30 has been contributing for years, and then there's me :stuck_out_tongue:

[Violeta Hernández]

And Yaël I guess

[Anne Baanen]

You undergrads with your free time and low obligations! :grinning_face_with_smiling_eyes:

[Yaël Dillies]

You researchers with your research time and no exam at the end of the year :grinning_face_with_smiling_eyes:

[Anne Baanen]

It's the cycle of life: we torture you by making you answer the exam, and you torture us back by making us grade your answers.