On Thursday, January 19, 2023 at 5:40:34 PM UTC+9 john.c...@gmail.com wrote: 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.
For a username with *known on Trac: True, *inform us of his/her GitHub name if you know, regardless of activity in Sage development. It is up to the owner himself/herself to provide the real full name. For a username with *known on Trac: False,* inform us of his/her Trac username and GitHub name if you know, regardless of activity in Sage development. It is up to the owner himself/herself to provide the real full name. -- 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/4136180e-7310-4d57-9b5b-3285fcf95076n%40googlegroups.com.