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
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
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,
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
"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
