On Sun, 11 Sep 2022, 18:14 Marc Mezzarobba, <m...@mezzarobba.net> wrote:
> 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. > > 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. This would require a way for these people to authorize > the migration script to perform specific actions in their name, this script goes for a simpler route - it writes GitHub logins (or original trac logins for the cases where there is no match) of users who commented, etc. into comments text. This does not need authorisation from users, but it's arguably less nice looking. Dima or to > merge their user account with a temporary account created by the > script, or something like that. I have no idea how flexible github or > gitlab are in that respect. > > (It would presumably be easy with a self-hosted gitlab, though.) > > -- > Marc > > -- > 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/tfl50h%2481n%241%40ciao.gmane.io > . > -- 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/CAAWYfq0ZuPSjZ8E18t89iDfc9MXfajm5bfDk5dXDMT%3DOAVWKwQ%40mail.gmail.com.
