That's now https://github.com/sagemath/website/pull/266 (got up to #68, taking a break now)
On Sunday, September 11, 2022 at 1:53:16 PM UTC-7 Matthias Koeppe wrote: > I am adding the mapping from trac to github usernames to the file > https://github.com/sagemath/website/blob/master/conf/contributors.xml for > the top 100 developers listed at > https://github.com/sagemath/sage/graphs/contributors > > > > On Sunday, September 11, 2022 at 12:32:39 PM UTC-7 Matthias Koeppe wrote: > >> On Sunday, September 11, 2022 at 12:10:42 PM UTC-7 Dima Pasechnik wrote: >> >>> On Sun, 11 Sep 2022, 18:14 Marc Mezzarobba, <ma...@mezzarobba.net> >>> wrote: >>> >>>> >>>> How hard would it be to import issues in such a way that issues and >>>> comments created by people with git**b accounts are correctly linked to >>>> their accounts? >>> >>> >>> easy - we just need to create a the mapping. >>> >> >> How do we collect this info? How about: >> - Ask users to add it to >> https://trac.sagemath.org/#AccountNamesMappedtoRealNames >> - Or ask users to add it to >> https://github.com/sagemath/website/blob/master/conf/contributors.xml >> >> -- 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/b3a3db6c-e74e-45d0-a951-7410a81cdd9dn%40googlegroups.com.
