On Mon, Sep 12, 2022 at 8:12 AM Matthias Koeppe
<
matthia...@gmail.com> 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 Issues/PRs (
https://trac.sagemath.org/ticket/30363), we will need your GitHub account name by September 26.
> (If you don't have a GitHub account yet, now is a great time to open one.)
>
> The source code of the Sage website is maintained in the GitHub repository
https://github.com/sagemath/website; to add yourself or to update your information shown in the development map, edit the file
https://github.com/sagemath/website/blob/master/conf/contributors.xml and send a pull request (PR).
> - For your GitHub user name, use the "github" attribute.
> - For your (legacy) Trac user name, use the "trac" attribute. If you already use a GitHub login for Trac, i.e., your Trac user name starts with "gh-", there is no need to add the "trac" attribute.
> - If you have a Gitlab.com account, you can also add that if you want, using the "gitlab" attribute.
>
> You can do all of this editing directly on GitHub by clicking the "Edit" button; or, if you prefer, you can fork the repository, clone it to your computer, edit it there, commit the change, push it to your fork, and send a PR.
>
> We would also like to consolidate the Sage developer map information with the information currently at
https://trac.sagemath.org/#AccountNamesMappedtoRealNames; if your name appears on this Trac page, please help us by doing the following:
> - review the information there, move it to the contributors.xml file, and then delete it from the Trac page.
>
>
>
> 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