mathlib contributors

Stream: mathlib4

[Vasily Ilin]

How can I view mathlib contributors? Since PRs are closed instead of merged, the GitHub UI does not give the complete list.

[Michael Rothgang]

Does https://github.com/leanprover-community/mathlib4/graphs/contributors answer your question? If not, can you be more specific: what exactly would you like to know?

[Michael Rothgang]

(Beware, the default statistics are a bit skewed, because lots of commits (until mid-July 2023) were porting mathlib from Lean 3 to Lean 4. On that page, you can filter for certain date ranges.)

[Vasily Ilin]

Michael Rothgang said:

Does https://github.com/leanprover-community/mathlib4/graphs/contributors answer your question? If not, can you be more specific: what exactly would you like to know?

It does not answer my question. These stats don't count people whose contribution was merged by Bors, afaik. For example, my PR was merged a month ago, and I do not appear in this list, as far as I can tell (vilin97 is my GitHub username).

[Eric Wieser]

Can you link to the PR?

[Vasily Ilin]

Here: https://github.com/leanprover-community/mathlib4/pull/19798

[Eric Wieser]

The contributors page only shows the top 100 contributors I'm afraid

[Johan Commelin]

$ git log | grep -B1 -A3 "Vasily Ilin"
commit c4c2823fcb8b0eb245aeab75224a9554be0473ec
Author: Vasily Ilin <vasilin97@gmail.com>
Date:   Tue Dec 10 02:18:05 2024 +0000

    feat(Probability/Moments): add `mgf_smul_left` (#19798)

[Vasily Ilin]

Ah, I see now. Thank you

[Vasily Ilin]

(deleted)

[Edward van de Meent]

Out of curiosity, why are you interested in a full list?

[Vasily Ilin]

I wanted to see if my co-author Siyuan Ge jamesgsy@uw.edu is in this list. He is an undergrad who did most of the work on the lemmas that I am PRs now, and I wanted to make sure that he gets the credit he deserves

[Eric Wieser]

Well, the only think you can ask for sure is "is the co-authorship in the commit message". Anything else is at the whim of github.

[Eric Wieser]

https://github.com/leanprover-community/mathlib4/commit/c4c2823fcb8b0eb245aeab75224a9554be0473ec confirms that it is

[Vasily Ilin]

Okay, thanks