On Thu, Sep 15, 2022 at 2:47 PM Eric Gourgoulhon <egourgoul...@gmail.com> wrote: > > Le jeudi 15 septembre 2022 à 15:32:22 UTC+2, dim...@gmail.com a écrit : >> >> >> >> On Thu, 15 Sep 2022, 14:21 Eric Gourgoulhon, <egourg...@gmail.com> wrote: >>> >>> I would like to ask about a point that does not seem to have been discussed >>> before (apologies if it was): >>> If the migration to Gihub takes place, would there remain somewhere a >>> read-only copy of Trac? more precisely, of all the Trac tickets? >> >> >> yes, this is the plan, to migrate all trac tickets to GitHub issues. There >> are some technical issues involving issues getting correct (i.e. correctly >> mapped to GitHub accounts) authors, hopefully resolved with help of GitHub >> support, >> but apart from this we are not too far getting the migration done. (the git >> tree is there on a github mirror repo, so links to branches will be pointing >> there). Attachments will be imported and hosted somewhere, too. >> >> a read-only copy of trac will be around for a while, to make sure it all >> went well, but I don't expect a strong need to keep it forever. >> > > Thanks for your prompt answer. > >> what's not clear there? >> > > The description of > https://github.com/sagemath/trac-to-github > says > "This script migrates milestones, issues, and wiki pages from Trac to GitHub." > What about tickets?
OK, thanks, I clarified this now. > > Your answer made it more clear. Thanks. > > Eric. > > -- > 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/134ab1cc-2569-47d0-b57d-8aa81be492fen%40googlegroups.com. -- 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/CAAWYfq0WQ%2BeM99e3F2Yufs9t-BDwr9UkaWTj8Pq4WafEMgrUkw%40mail.gmail.com.