My trac username is: ebriand and my GitHub username is: EmmanuelJeanBriand Emmanuel Briand
El jue, 19 ene 2023 a las 3:14, Kwankyu Lee (<ekwan...@gmail.com>) escribió: > 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/7e623e5c-e0eb-4ebc-9f83-55bf563f53a6n%40googlegroups.com > <https://groups.google.com/d/msgid/sage-devel/7e623e5c-e0eb-4ebc-9f83-55bf563f53a6n%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/CAC2RnLpH41pesvBQiBPGynstYZjAGKuxtoFvUfvZ31WZh0t_rw%40mail.gmail.com.
