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

Re: [sage-devel] Re: Please inspect: Migrated Trac tickets on our temporary GitHub server

[Matthias Koeppe]

In https://github.com/sagemath/trac-to-github/issues/80, I propose to set 
up http permanent redirects from trac.sagemath.org to corresponding GitHub 
URLs. 
When users follow a link to trac.sagemath.org from some external site and 
get redirected to the GH Issue, the message "*Issue created by migration 
from..."* reassures the user that they have arrived at the right place.

On Wednesday, January 18, 2023 at 2:49:01 PM UTC-8 Kwankyu Lee wrote:

> On Thursday, January 19, 2023 at 2:07:36 AM UTC+9 seb@gmail.com wrote:
> Since we can't be sure that all tickets have been converted correctly, I 
> prefer to keep the link clickable for as long as possible! Furthermore, I 
> think we should not erase the traces of the migration.
>
> As long as trac is running, we can find the ticket by the issue number, 
> which is the same with the ticket number.
>
> After migration, we will care less with the welfare of trac. I think the 
> links will always be at the risk of getting defunct.
>  
>

-- 
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/94a90d92-626f-401a-b32a-99abe9b442a4n%40googlegroups.com.

Re: [sage-devel] Re: Please inspect: Migrated Trac tickets on our temporary GitHub server

[Kwankyu Lee]

On Thursday, January 19, 2023 at 2:07:36 AM UTC+9 seb@gmail.com wrote:
Since we can't be sure that all tickets have been converted correctly, I 
prefer to keep the link clickable for as long as possible! Furthermore, I 
think we should not erase the traces of the migration.

As long as trac is running, we can find the ticket by the issue number, 
which is the same with the ticket number.

After migration, we will care less with the welfare of trac. I think the 
links will always be at the risk of getting defunct.
 

-- 
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/d6b9a580-5617-4d49-bd11-c0996b65014an%40googlegroups.com.

Re: [sage-devel] Re: Please inspect: Migrated Trac tickets on our temporary GitHub server

[seb....@gmail.com]

Since we can't be sure that all tickets have been converted correctly, I 
prefer to keep the link clickable for as long as possible! Furthermore, I 
think we should not erase the traces of the migration.

dim...@gmail.com schrieb am Mittwoch, 18. Januar 2023 um 09:45:49 UTC+1:

> On Wed, Jan 18, 2023 at 8:16 AM Kwankyu Lee  wrote:
> >
> > In the issue description, I see "Issue created by migration from 
> https://trac.sagemath.org/ticket/...;. Would we remove this before 
> migration? Perhaps we should because the link will be defunct eventually.
>
> The plan is to have the trac website in a read-only form, perhaps on
> archive,org,
> or somewhere else. So I think it's OK to keep these - perhaps not 
> clickable.
> Anyhow, this can be edited later using a GitHub API.
>
> >
> >
> >
> >
> > --
> > 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+...@googlegroups.com.
> > To view this discussion on the web visit 
> https://groups.google.com/d/msgid/sage-devel/9b560c7a-3f2f-4447-b2f5-ff580bb8ff09n%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/8c18155a-2cd9-41ab-9e73-cc3f276e5497n%40googlegroups.com.

Re: [sage-devel] Re: Please inspect: Migrated Trac tickets on our temporary GitHub server

[Dima Pasechnik]

On Wed, Jan 18, 2023 at 8:16 AM Kwankyu Lee  wrote:
>
> In the issue description, I see "Issue created by migration from 
> https://trac.sagemath.org/ticket/...;.  Would we remove this before 
> migration? Perhaps we should because the link will be defunct eventually.

The plan is to have the trac website in a read-only form, perhaps on
archive,org,
or somewhere else. So I think it's OK to keep these - perhaps not clickable.
Anyhow, this can be edited later using a GitHub API.

>
>
>
>
> --
> 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/9b560c7a-3f2f-4447-b2f5-ff580bb8ff09n%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/CAAWYfq0Am99z%3D2CPVkU9Fh898ZzyEpMk5uB3fggA8woiUyLBZQ%40mail.gmail.com.

Re: [sage-devel] Re: Please inspect: Migrated Trac tickets on our temporary GitHub server

[Kwankyu Lee]

In the issue description, I see "*Issue created by migration 
from https://trac.sagemath.org/ticket/ 
...". * Would we remove this before 
migration? Perhaps we should because the link will be defunct eventually.




-- 
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/9b560c7a-3f2f-4447-b2f5-ff580bb8ff09n%40googlegroups.com.