On Friday, September 16, 2022 at 3:08:20 AM UTC-7 Eric Gourgoulhon wrote: > Le jeudi 15 septembre 2022 à 18:34:22 UTC+2, Matthias Koeppe a écrit : > >> On Thursday, September 15, 2022 at 9:04:09 AM UTC-7 Matthias Koeppe wrote: >> >>> 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). >>> >> >> To add to this: The purpose of my request to remove your info after >> merging it into contributors.xml is the following: >> In 2 weeks or so, I'll bulk-merge the remaining info into >> contributors.xml; and I will do a cursory review of each item. >> By removing your already-merged data from the source, you'll save me the >> time to check which of the information (in contributors.xml or Trac) is >> more current. >> > > OK, I've then removed my name from the Trac list. >
Thanks! > Anyway, since the latest upgrade of Trac, real names appear on the > tickets, instead of user names, which makes the original Trac list less > useful. > > Yes, that's right. -- 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/b01925d4-e603-43d8-b9cc-4881d649e7f9n%40googlegroups.com.
