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

Thank you very much for your help. I will proceed with the PR. Best, Antoine Le lundi 30 janvier 2023 à 18:04:37 UTC+1, Matthias Koeppe a écrit : > Yes, that's the procedure. > > On Monday, January 30, 2023 at 8:45:18 AM UTC-8 antoine@gmail.com > wrote: > >> Thank you very much Kanwkyu. Sho

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

Yes, that's the procedure. On Monday, January 30, 2023 at 8:45:18 AM UTC-8 antoine@gmail.com wrote: > Thank you very much Kanwkyu. Should I make a PR to modify this > > file? > > A. > > Le lundi 30 janvier 2023 à 14:54:

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

Thank you very much Kanwkyu. Should I make a PR to modify this file? A. Le lundi 30 janvier 2023 à 14:54:58 UTC+1, Kwankyu Lee a écrit : > The PR > > https://github.com/sagemath/trac-to-github/pull/166 > > takes care of yo

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

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

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

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. On Monday, January 30, 2023 at 10:04:26 PM UTC+9 antoine@gmail.com wrote: > Hi, > > I add opened Github Pull Request #3

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

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? On Mon, Jan 30, 2023 at 1:04 PM Antoine Leudière wrote: > > Hi, > > I add opened Github Pull Request #357 > (https://github.com/sagemath/website/pull/357) to add my contributor

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

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 e

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

Thanks, Emmanuel and Justin. This https://github.com/sagemath/trac-to-github/pull/145/files takes care of you. -- 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

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

My trac name is ‘justin’, and my GitHub name is RalphieBoy. Not sure why :-} Justin > On Jan 18, 2023, at 18:14 , Kwankyu Lee wrote: > > -- Justin C. Walker, Curmudgeon at Large Institute for the Absorption of Federal Funds --- I want to die, peacefully in my sleep, like my grandfath

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

My trac username is: ebriand and my GitHub username is: EmmanuelJeanBriand Emmanuel Briand El jue, 19 ene 2023 a las 3:14, Kwankyu Lee () escribió: > Dear readers, > > Attached unmapped_users.pdf is the list of usernames encountered in the > preparation of the migration from Trac to GitHub, *wit