"palmieri" and "palmiery" and "jpalmieri" appear (probably from mistakes with cc entries), and they should all be changed to match my correct trac name "jhpalmieri" (same as my github id).
On Wednesday, January 18, 2023 at 6:14:16 PM UTC-8 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/df24c651-ebd1-45ef-b366-971c8d959968n%40googlegroups.com.
