I think there are many trac names whose real names are known (I saw several) but either do not have github accounts or are no longer active in Sage development. What should the policy be about those? If someone made a trac account without registering their full name, I am not sure that it is right for a 3rd party to later supply that real name.
On Thu, 19 Jan 2023 at 05:24, Matthias Koeppe <matthiaskoe...@gmail.com> wrote: > Thanks, Alex and John. > I've taken care of these (and other typos that I have spotted) in > https://github.com/sagemath/trac-to-github/commit/1f2fc7f834cd7d9992e9f8c96cc09cb2d62dc655 > and > https://github.com/sagemath/trac-to-github/commit/ac5f68a07f6a40359d3b1de4feba6ad5a7c5fee9 > > > On Wednesday, January 18, 2023 at 7:36:47 PM UTC-8 AlexGhitza wrote: > >> Hi, >> >> There seems to be a lone instance of "aghitza" that's orphaned. The >> corresponding trac username is "AlexGhitza", and the github username is >> "aghitza". >> >> >> Best, >> Alex >> >> On Thursday, January 19, 2023 at 1:14:16 PM UTC+11 Kwankyu Lee wrote: >> >>> Dear readers, >>> >>> Attached unmapped_users.pdf is the list of usernames encountered in the >>> preparation of the migration from Trac to GitHub, *with no >>> corresponding GitHub user name*. We are planning to create mannequin >>> GitHub ids (connected with no real GitHub user) for the usernames in the >>> list. >>> >>> *Check the list and if you are the owner of the username or know the >>> owner, then please inform us here about the owner (full name or Trac >>> username) and, if known, his/her GitHub user name.* >>> >>> - username: possibly misspelled or non-human >>> - known on trac: True if username belongs to a valid Trac account; False >>> otherwise >>> - mention:: True if username is mentioned in a ticket comment >>> - mention: False if username is found as reporter, owner, author, or in >>> cc of a ticket >>> - mannequin: planned mannequin id >>> - frequency: number of appearance times in Trac >>> >>> For more information, visit >>> https://github.com/sagemath/trac-to-github/issues/77 >>> >> -- > You received this message because you are subscribed to the Google Groups > "sage-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-devel+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-devel/75ef8b01-e7f8-4a23-8d12-aa81b50792f2n%40googlegroups.com > <https://groups.google.com/d/msgid/sage-devel/75ef8b01-e7f8-4a23-8d12-aa81b50792f2n%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAD0p0K4fad%2BVZsh2oBXjzWh6g4raNjzCVUMU4vQ22F8ygcog_Q%40mail.gmail.com.
