What else is of importance? The headings in the tables, I guess.
This PR 16 <https://github.com/sagemath/trac-to-github/pull/16/>, now. seb....@gmail.com schrieb am Mittwoch, 16. November 2022 um 18:55:38 UTC+1: > 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 sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/60ef1592-3b63-459a-93aa-7777854f10b1n%40googlegroups.com.
