For now I would create links with URLs of Trac tickets.
I’ve opened PR 15 <https://github.com/sagemath/trac-to-github/pull/15> for this. What else is of importance? The headings in the tables, I guess. Matthias Koeppe schrieb am Dienstag, 15. November 2022 um 20:15:55 UTC+1: > For now I would create links with URLs of Trac tickets. > They can be easily rewritten by a script as soon as we have migrated Trac > tickets to GH Issues. > > On Tuesday, November 15, 2022 at 10:53:13 AM UTC-8 kcrisman wrote: > >> Question (which I am unfortunately unable to assess): Is it possible that >> Trac ticket link of the form #xyzwv could automatically become links to the >> same GH issues once all migration is complete? I'm thinking of pages like >> https://github.com/sagemath/trac_to_gh/wiki/symbolics - the Trac version >> of this was quite useful. >> >> On Monday, November 14, 2022 at 3:55:33 PM UTC-5 Matthias Koeppe wrote: >> >>> As the next step in our migration to GitHub, let's migrate the Trac wiki. >>> >>> I have done a preliminary conversion of the using our conversion script ( >>> https://github.com/sagemath/trac-to-github.git) to markdown files, now >>> at https://github.com/sagemath/trac_to_gh/wiki >>> >>> -- 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/6c4233a9-e801-4a5d-a1b0-408bf5788454n%40googlegroups.com.
