There's no policy AFAIK, but I think there's no point in updating their affiliation/location after their last contribution to Sage.
On Monday, May 9, 2022 at 12:59:29 AM UTC-7 David Roe wrote: > 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 <dim...@gmail.com> wrote: > >> On Sun, May 8, 2022 at 9:51 PM Matthias Koeppe <matthia...@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+...@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+...@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/e4c8c9bb-12cf-4ae7-b650-ccb83c0de578n%40googlegroups.com.
