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/5d2daabe-6cb1-447d-875b-607716852f76n%40googlegroups.com.
