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

[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 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.

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

[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 right for a 3rd party to later supply that real name.

On Thu, 19 Jan 2023 at 05:24, Matthias Koeppe 
wrote:

> 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, January 18, 2023 at 7:36:47 PM UTC-8 AlexGhitza wrote:
>
>> 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 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/75ef8b01-e7f8-4a23-8d12-aa81b50792f2n%40googlegroups.com
> 
> .
>

-- 
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/CAD0p0K4fad%2BVZsh2oBXjzWh6g4raNjzCVUMU4vQ22F8ygcog_Q%40mail.gmail.com.

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

[Matthias Koeppe]

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, January 18, 2023 at 7:36:47 PM UTC-8 AlexGhitza wrote:

> 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 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/75ef8b01-e7f8-4a23-8d12-aa81b50792f2n%40googlegroups.com.

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

[AlexGhitza]

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 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/09a128d2-5ce7-4e1f-a9a2-6b2504009be7n%40googlegroups.com.

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

[John H Palmieri]

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