On Thursday, September 15, 2022 at 6:21:09 AM UTC-7 Eric Gourgoulhon wrote:
> I don't understand why in the post > https://groups.google.com/g/sage-devel/c/QooOF1GLMOs > Matthias asked to remove developer names from > (1) https://trac.sagemath.org/#AccountNamesMappedtoRealNames > Aren't we loosing information here? > I of course understand there is now > https://github.com/sagemath/website/blob/master/conf/contributors.xml > and that duplication is the root of all evil, but if a read-only mirror of > Trac is maintained, the list (1) would be useful to contact a Sage > developer regarding a specific ticket. > No, the data is not lost. It is *migrated* to https://github.com/sagemath/website/blob/master/conf/contributors.xml, where it will be preserved (including the Trac usernames). -- 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/ac670558-5af3-4a3e-a172-08185ce99db9n%40googlegroups.com.
