On Thu, 15 Sep 2022, 14:21 Eric Gourgoulhon, <egourgoul...@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. The numerous discussions there constitute a valuable database, certainly > useful for future Sage code development. > In this respect, I don't understand why in the post > https://groups.google.com/g/sage-devel/c/QooOF1GLMOs > Matthias asked to remove developer names from > (1) https://trac.sagemath.org/#AccountNamesMappedtoRealNames > Aren't we loosing information here? > I of course understand there is now > https://github.com/sagemath/website/blob/master/conf/contributors.xml > and that duplication is the root of all evil, but if a read-only mirror of > Trac is maintained, the list (1) would be useful to contact a Sage > developer regarding a specific ticket. > > There is mention of "conversion of Trac tickets and the Trac wiki to > Github" at > https://github.com/sagemath/sage/wiki/migration-from-trac-to-Git**b > which might cover the point raised above, but this is not clear to me. > what's not clear there? Dima > 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/9f76d868-d5fe-4219-b1f8-829af95c6c07n%40googlegroups.com > <https://groups.google.com/d/msgid/sage-devel/9f76d868-d5fe-4219-b1f8-829af95c6c07n%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- 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/CAAWYfq1CMNk7VYK%3DVJqeQfj9QUKyS5XZrgihK%2BPsnpRuJZizAg%40mail.gmail.com.
