On Wed, Sep 10, 2025 at 11:11 PM Corey Huinker <[email protected]> wrote: > > 516 contributors this cycle vs 462 last cycle. > > When name accents/capitalization differed, I went with the string used in the > previous year. > > Some of the names that come from bug reports and doc fixes are just first > names, and the discussion threads shed no light on the full name of the > person. > > I have a git log that has been "redacted", which is to say that every name > attribution has been screened out, as well as names of known past > contributors, and various other name-looking things that aren't people (ex. > Microsoft Windows) screened out. Even with all that automation it is still > over 50k lines, so if you want to double check that, make sure you have a > comfy chair. >
Andrei Lepikhov Andrey Lepikhov refers to the same person, I think. Masao Fujii Fujii Masao refers to the same person too? Junwang Zhao Zhao Junwang refers to the same person too? "Hacking Discord" wrong?
