Re: [sage-devel] Please add your GitHub account name to the SageMath contributor info

2022-09-12 Thread François Bissey
It appears my info was all correct already. I removed my info from the trac landing page. I notice there is some confusion in what the label "work" means. Some people put their position rather than their institution. I don't think that's a big deal but if that's you :) you can fix that too.

Re: [sage-devel] Please add your GitHub account name to the SageMath contributor info

2022-09-12 Thread Jeremy Tan
Sent a PR there too! On Monday, 12 September 2022 at 20:28:08 UTC+8 David Joyner wrote: > On Mon, Sep 12, 2022 at 8:12 AM Matthias Koeppe > wrote: > > > > Dear Sage developers (current and past): > > > > The SageMath developer map ( > https://www.sagemath.org/development-map.html) needs your

Re: [sage-devel] Please add your GitHub account name to the SageMath contributor info

2022-09-12 Thread David Joyner
On Mon, Sep 12, 2022 at 8:12 AM Matthias Koeppe wrote: > > Dear Sage developers (current and past): > > The SageMath developer map (https://www.sagemath.org/development-map.html) > needs your updated information. > > In particular, motivated by the proposed migration from Trac to GitHub >

[sage-devel] Please add your GitHub account name to the SageMath contributor info

2022-09-12 Thread Matthias Koeppe
Dear Sage developers (current and past): The SageMath developer map (https://www.sagemath.org/development-map.html) needs your updated information. In particular, motivated by the proposed migration from Trac to GitHub Issues/PRs (https://trac.sagemath.org/ticket/30363), we will need your