Final call for GitHub user names

[Kwankyu Lee]

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

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

[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

[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

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

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

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

 

[Emmanuel Briand]

My trac username is: ebriand

and my GitHub username is: EmmanuelJeanBriand

Emmanuel Briand

--

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/7e623e5c-e0eb-4ebc-9f83-55bf563f53a6n%40googlegroups.com.

[Justin C. Walker]

My trac name is ‘justin’, and my GitHub name is RalphieBoy. Not sure why :-}

Justin

> On Jan 18, 2023, at 18:14 , Kwankyu Lee <ekwa...@gmail.com> wrote:
>
> <unmapped_users.pdf>

--
Justin C. Walker, Curmudgeon at Large
Institute for the Absorption of Federal Funds
-----------
I want to die, peacefully in my sleep, like my grandfather;
not screaming in terror, like his passengers.

[Kwankyu Lee]

Thanks, Emmanuel and Justin.

This https://github.com/sagemath/trac-to-github/pull/145/files takes care of you.

[Antoine Leudière]

Hi,

I add opened Github Pull Request #357 (https://github.com/sagemath/website/pull/357) to add my contributor info. However, my Github account `antoine-leudiere` was deleted because Github terms prevent from having two accounts (typically a personal account and a professional account like I entended to). Therefore, I need replace Github username `antoine-leudiere` with `Kryzar`. Could you help me with that (or tell me if I can just do a new pull request or comment #357)?

Apologies for the extra work.
Best,
Antoine Leudière

[Dima Pasechnik]

As far as I can see, you provide in the PR kryzar as the github
account name, and that's the way you'd like it, right?

> --
> 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/c592d154-61b9-4753-882a-df97c29d2a3dn%40googlegroups.com.

[Kwankyu Lee]

The PR

https://github.com/sagemath/trac-to-github/pull/166

takes care of you, for the migration. Later you also need to update your contributor info in the sage website.

[Antoine Leudière]

You are right, I am mistaken. I meant commit f960fa9cb547f4a0d4f4128ff1db16d415bb93bd, which replaced `kryzar` to `antoine-leudiere` (https://github.com/sagemath/website/commit/f960fa9cb547f4a0d4f4128ff1db16d415bb93bd).

(I was not aware at the time that one could not have two Github accounts.)

A.

[Antoine Leudière]

Thank you very much Kanwkyu. Should I make a PR to modify this file?

A.

[Matthias Koeppe]

Yes, that's the procedure.

[Antoine Leudière]

Thank you very much for your help. I will proceed with the PR.

Best,

Antoine