Appearing twice on mathlib_stats

Stream: general

[Thomas Browning]

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]

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]

@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]

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

[Thomas Browning]

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

[Michael Stoll]

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]

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]

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]

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]

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

[Yaël Dillies]

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

[Jireh Loreaux]

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

[Jason KY.]

I appear as both Kexing Ying and JasonKYi :smile:

[Bryan Gin-ge Chen]

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

[Jason KY.]

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

[Michael Stoll]

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

[Paul Lezeau]

I'd prefer "Paul Lezeau"

[Paul Lezeau]

Thanks a lot!

[Eric Wieser]

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

[Eric Rodriguez]

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]

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

[Patrick Massot]

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

[Kalle Kytölä]

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]

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]

There's also erdOne and @Andrew Yang

[Johan Commelin]

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

[Bryan Gin-ge Chen]

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]

Ok, perfect (-;

[Andrew Yang]

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