On Friday, September 9, 2022 at 2:54:06 AM UTC-7 Dima Pasechnik wrote: > I've conducted few experiments with a tool to import trac sites to github: > https://github.com/svigerske/trac-to-github, which in particular allows > to import trac tickets as github issues; a result of running it on few > tickets > may be inspected here: > https://github.com/dimpase/trac_to_gh/issues?q=is%3Aissue+is%3Aclosed > (Here issues 1-10 correspond to trac tickets one to one :-)) > Further work on trac-to-github will be needed, in particular to properly > link branches in our git tree, but it's doable, > and we have volunteers to do it. >
For the mapping from Trac usernames to GitHub usernames, there is now a tool https://gist.github.com/mkoeppe/5da92ff1703e941c3d21a7a7187a23ba which reads 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/1456d889-f28d-4ee4-a70a-c89b5026d2abn%40googlegroups.com.
