Re: [sage-devel] Re: Final call for GitHub user names

2023-01-19 Thread Kwankyu Lee
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 Tr

Re: [sage-devel] Re: Final call for GitHub user names

2023-01-19 Thread John Cremona
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 rig