For former contributors who are no longer active, do we have a policy about saying their current institution/company versus where they were when they were contributing to Sage? David
On Mon, May 9, 2022 at 3:51 AM Dima Pasechnik <dimp...@gmail.com> wrote: > On Sun, May 8, 2022 at 9:51 PM Matthias Koeppe <matthiaskoe...@gmail.com> > wrote: > > > > https://www.sagemath.org/development-map.html > > > > To add yourself or to update your information: edit > https://github.com/sagemath/website/blob/master/conf/contributors.xml and > send a pull request > > there are lots of `http:` URLs there which should become `https:` > Also, some contributors don't have their trac logins mentioned. > > > > > > > > > > -- > > 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/019ca0a8-5d4c-45d2-8505-1a548bbe98een%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/CAAWYfq1b0j6t-Z0cR8bBzv7CDK8bGwvXooSeqe7SLjTSZdu_NQ%40mail.gmail.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/CAChs6_nCjMFVyG5TFtwYb%2B6Z1Z2u4tp7NUC0Y1_HyRwdAcU%3DjA%40mail.gmail.com.
