Zulip Chat Archive

Stream: general

Topic: Appearing twice on mathlib_stats


Thomas Browning (Oct 11 2022 at 14:20):

Seems like I appear twice on the mathlib_stats page (once as tb65536 and once as Thomas Browning). Is it possible to get these merged? They should be referring to the same github account, I think.

Bryan Gin-ge Chen (Oct 11 2022 at 14:39):

I'll take care of this. (We have a mailmap file to deal with duplicate authors which hasn't been updated in a while.)

Bryan Gin-ge Chen (Oct 11 2022 at 14:51):

@Thomas Browning I can't find a "Thomas Browning" entry on this page. Is there another name I should search for, or are you referring to another page?

Thomas Browning (Oct 11 2022 at 15:15):

@Bryan Gin-ge Chen I see a "Thomas Browning" in the table at row 83 by commits.

Thomas Browning (Oct 11 2022 at 15:18):

Or if you sort by "First commit", I appear on the third row

Michael Stoll (Oct 11 2022 at 15:55):

I'm not appearing twice, but I noticed that the date under "last commit" in "my" (MichaelStollBayreuth, currently line 77 in the default ordering) row seems to be stuck at 2022-06-30, even though I definitely contributed later than that. Is this a bug, or where does this date come from?

Michael Stoll (Oct 11 2022 at 15:58):

Oh, I see that I do occur twice, the other time as "Michael Stoll" on line 94. Something seems to have changed in the accounting in July, swapping my Github user name for my name (or Zulip name). I certainly did not do anything I know of to cause this.

Alex J. Best (Oct 11 2022 at 16:02):

Looks like there are two @Justus Springer's and @Paul Lezeau's on the list too if someone is cleaning up the mailmap file :smile:

Paul Lezeau (Oct 11 2022 at 16:07):

Alex J. Best said:

Looks like there are two Justus Springer's and Paul Lezeau's on the list too if someone is cleaning up the mailmap file :)

I got very confused when I discovered that

Paul Lezeau (Oct 11 2022 at 16:08):

I think there are commits where I'm both author and co-author

Yaël Dillies (Oct 11 2022 at 16:53):

More contribution per contribution (cf the powdered milk in milk tweet)

Jireh Loreaux (Oct 11 2022 at 16:59):

I think @Eric Rodriguez appears twice too, once as ericrbg.

Jason KY. (Oct 11 2022 at 17:19):

I appear as both Kexing Ying and JasonKYi :smile:

Bryan Gin-ge Chen (Oct 11 2022 at 17:24):

I'll update the mailmap today, so if you have a preferred name, please let me know!

Jason KY. (Oct 11 2022 at 17:45):

I'd be grateful if you merged mine as Kexing Ying

Michael Stoll (Oct 11 2022 at 17:51):

I would prefer "Michael Stoll" over "MichaelStollBayreuth".

Paul Lezeau (Oct 11 2022 at 17:58):

I'd prefer "Paul Lezeau"

Paul Lezeau (Oct 11 2022 at 17:58):

Thanks a lot!

Eric Wieser (Oct 11 2022 at 18:06):

Note that usually this is caused by h working on multiple machines, one of which has a bad git configuration.

Eric Rodriguez (Oct 11 2022 at 18:40):

Eric Rodriguez is good for me :) as far as I know, this happens for me when I use the online fit's commit thing

Thomas Browning (Oct 11 2022 at 19:51):

I'd prefer "Thomas Browning" over "tb65536"

Patrick Massot (Oct 11 2022 at 19:54):

I'm slightly worried by the prevalence of schizophrenia in this community...

Kalle Kytölä (Oct 11 2022 at 20:50):

Would it be useful to have a column in the mathlib contributor statistics for the number of times one appears in the mathlib contributor statistics? :stuck_out_tongue_wink:

Bryan Gin-ge Chen (Oct 11 2022 at 21:49):

I've updated the mailmap file and triggered a rebuild of the stats page. It should be updated in ~30 mins. Don't hesitate to let me know if there are still any issues!

Yaël Dillies (Oct 11 2022 at 23:07):

There's also erdOne and @Andrew Yang

Johan Commelin (Oct 12 2022 at 03:49):

Does this mean our contributor count is going to plummet? :downwards_trend: :stuck_out_tongue_wink:

Bryan Gin-ge Chen (Oct 12 2022 at 03:50):

I think the contributor count doesn't take the mailmap into account at the moment. At least the number doesn't agree with the one in the table?

Johan Commelin (Oct 12 2022 at 03:55):

Ok, perfect (-;

Andrew Yang (Oct 12 2022 at 04:22):

Sorry I checked yesterday and didn’t see it. I’d prefer “Andrew Yang”, thanks!


Last updated: Dec 20 2023 at 11:08 UTC